Revision Programming = Logic Programming + Integrity Constraints.
V. Wiktor MarekInna PivkinaMiroslaw TruszczynskiPublished in: CSL (1998)
Keyphrases
- integrity constraints
- logic programming
- programming language
- deductive databases
- knowledge base
- logic programs
- declarative programming
- answer set programming
- nonmonotonic reasoning
- functional dependencies
- belief revision
- query answering
- reasoning tasks
- knowledge representation
- conjunctive queries
- answer sets
- default logic
- stable models
- database schema
- object oriented
- software engineering
- consistent query answering
- xml documents
- general purpose
- high level
- inductive logic programming
- constraint logic programming
- linear logic
- fixpoint
- data mining