Declarative Update Policies for Nonmonotonic Knowledge Bases.
Thomas EiterMichael FinkGiuliana SabbatiniHans TompitsPublished in: Logics for Emerging Applications of Databases (2003)
Keyphrases
- knowledge base
- truth maintenance systems
- knowledge representation
- logic programming
- abductive logic programming
- closed world reasoning
- optimal policy
- knowledge based systems
- knowledge acquisition
- nonmonotonic reasoning
- description logics
- multiple inheritance
- logic programs
- machine learning
- modal logic
- update semantics
- update operations
- belief revision
- tableau calculus
- high level
- minimal models
- default reasoning
- background knowledge
- default logic
- knowledge sources
- answer set semantics
- minimal change
- default rules
- answer set programming
- semantic network
- first order logic