A top-k query answering procedure for fuzzy logic programming.
Umberto StracciaNicolás MadridPublished in: Fuzzy Sets Syst. (2012)
Keyphrases
- logic programming
- query answering
- logic programs
- data exchange
- integrity constraints
- deductive databases
- conjunctive queries
- nonmonotonic reasoning
- logic programming language
- answer set programming
- data complexity
- knowledge representation
- incomplete information
- programming language
- answering queries
- data integration
- query rewriting
- knowledge base
- reasoning tasks
- answer sets
- inductive logic programming
- stable models
- default logic
- probabilistic reasoning
- dl lite
- artificial intelligence
- data management
- query processing
- fixpoint
- schema mappings
- datalog programs
- data sources
- machine learning
- open world