Minimal Negation in the Ternary Relational Semantics.
Gemma RoblesJosé M. MéndezFrancisco SaltoPublished in: Reports Math. Log. (2005)
Keyphrases
- logic programming
- logic programs
- compositional semantics
- stable model semantics
- stable models
- relational databases
- fixed point semantics
- deductive databases
- derivation rules
- containment of conjunctive queries
- minimal models
- formal semantics
- data model
- algebraic operations
- aggregate functions
- relational data
- semantics for logic programs
- database query languages
- model theoretic
- entity relationship
- argumentation semantics
- nonmonotonic reasoning
- semantics of logic programs
- predicate logic
- rdf graphs
- knowledge representation
- multi relational
- relational learning
- default reasoning
- database schema
- knowledge base
- conceptual model