Uniform semantic treatment of default and autoepistemic logics
Marc DeneckerVictor W. MarekMiroslaw TruszczynskiPublished in: CoRR (2000)
Keyphrases
- modal logic
- default logic
- autoepistemic logic
- nonmonotonic logics
- default rules
- semantic web
- natural language
- semantically meaningful
- nonmonotonic inference
- inference rules
- semantic network
- semantic similarity
- semantic annotation
- temporal logic
- expressive power
- semantically related
- semantic relationships
- logic programming
- low level features
- semantic web technologies
- semantic search
- semantic representation
- domain ontology
- semantic information
- epistemic logic
- domain specific
- high level