Prefixed Resolution: A Resolution Method for Modal and Description Logics.

Carlos Areces Hans de Nivelle Maarten de Rijke

Published in: CADE (1999)

Keyphrases

description logics
knowledge base
computational complexity
database
knowledge representation
semantic web
inductive learning
machine learning
artificial intelligence