Ultimate approximations in nonmonotonic knowledge representation systems
Marc DeneckerV. Wiktor MarekMiroslaw TruszczynskiPublished in: CoRR (2002)
Keyphrases
- knowledge representation systems
- description logics
- knowledge representation
- knowledge base
- logic programming
- nonmonotonic reasoning
- data sets
- default logic
- defeasible logic
- nonmonotonic logics
- complex objects
- modal logic
- autoepistemic logic
- multiple inheritance
- closed form
- probabilistic model
- efficient computation
- truth maintenance systems
- database