Declarative Semantics of Production Rules for Integrity Maintenance.
Luciano CaropreseSergio GrecoCristina SirangeloEster ZumpanoPublished in: ICLP (2006)
Keyphrases
- production rules
- declarative semantics
- deductive databases
- logic programming
- logic programs
- knowledge representation
- logic programming language
- integrity constraints
- operational semantics
- knowledge based systems
- production system
- knowledge base
- rule base
- partial order
- fixpoint
- defeasible reasoning
- knowledge representation and reasoning
- business rules
- stable models
- data model
- answer set programming
- decision making
- membership functions
- expert systems
- constraint logic programming
- nonmonotonic reasoning
- programming language
- inference rules
- description logics
- query evaluation
- knowledge acquisition
- error rate