Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases.
Zoran MajkicPublished in: IDEAS (2004)
Keyphrases
- logic programming
- inconsistent databases
- query answering
- logic programs
- consistent query answering
- datalog programs
- deductive databases
- nonmonotonic reasoning
- programming language
- answer set programming
- knowledge representation
- fixpoint
- stable models
- answer sets
- truth values
- integrity constraints
- knowledge base
- reasoning tasks
- data exchange
- modal logic
- knowledge representation and reasoning
- inductive logic programming
- default logic
- database
- data integration
- machine learning
- databases
- data complexity
- conjunctive queries
- data management
- data model