On the Semantics of Classical First-order Logic with Constructive Double Negation.
Ken KaneiwaPublished in: IICAI (2005)
Keyphrases
- query answering
- logic programming
- classical first order logic
- logic programs
- containment of conjunctive queries
- open world
- incomplete information
- dynamic logic
- logic programming language
- extended logic programs
- deductive databases
- knowledge representation
- nonmonotonic reasoning
- first order logic
- knowledge base
- stable models
- knowledge representation and reasoning
- programming language
- default logic
- answer set programming
- answer sets
- semantics for logic programs
- reasoning about actions
- fixpoint semantics
- declarative semantics
- compositional semantics
- stable model semantics
- formal semantics
- semantic information
- disjunctive logic programming
- normal logic programs
- fixpoint
- default reasoning