Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.

Jos de Bruijn Thomas Eiter Hans Tompits

Published in: KR (2008)

Keyphrases

autoepistemic logic
machine learning
knowledge representation
default logic
knowledge base
software engineering
graphical models
logic programming
semantic web
background knowledge
incomplete information
constraint propagation
default reasoning