Approximate well-founded semantics, query answering and generalized normal logic programs over lattices.
Yann LoyerUmberto StracciaPublished in: Ann. Math. Artif. Intell. (2009)
Keyphrases
- normal logic programs
- query answering
- logic programs
- stable models
- data exchange
- default reasoning
- logic programming
- answer sets
- data integration
- integrity constraints
- incomplete information
- data complexity
- conjunctive queries
- answering queries
- general logic programs
- deductive databases
- fixpoint
- answer set semantics
- knowledge representation and reasoning
- data management
- dl lite
- semantics for logic programs
- formal semantics
- answer set programming
- schema mappings
- stable model semantics
- data sources
- relational databases
- natural language