Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
Marc DeneckerV. Wiktor MarekMiroslaw TruszczynskiPublished in: KR (2002)
Keyphrases
- knowledge representation systems
- description logics
- knowledge representation
- knowledge base
- logic programming
- multiple inheritance
- nonmonotonic reasoning
- nonmonotonic logics
- model theoretic
- defeasible logic
- approximation methods
- default reasoning
- closed form
- modal logic
- default logic
- search algorithm
- databases
- default rules
- information retrieval
- variational methods
- programming language
- least squares
- data model
- expert systems
- natural language
- multiscale
- image sequences
- information systems
- search engine
- real world
- neural network