Uniform semantic treatment of default and autoepistemic logics.
Marc DeneckerV. Wiktor MarekMiroslaw TruszczynskiPublished in: Artif. Intell. (2003)
Keyphrases
- modal logic
- default logic
- nonmonotonic logics
- default rules
- autoepistemic logic
- natural language
- semantic web
- semantic knowledge
- inference rules
- domain specific
- semantic information
- expressive power
- classical logic
- temporal logic
- nonmonotonic inference
- default reasoning
- semantic features
- semantic representation
- semantically meaningful
- semantic analysis
- default theories
- decision procedures
- semantic network
- semantic description
- semantic similarity
- semantic annotation
- high level