Polynomial Event Semantics: Negation - Negation.
Oleg KiselyovPublished in: JSAI-isAI Workshops (2020)
Keyphrases
- logic programming
- logic programs
- compositional semantics
- containment of conjunctive queries
- fixed point semantics
- extended logic programs
- deductive databases
- derivation rules
- stable models
- semantics for logic programs
- stable model semantics
- fixpoint
- event detection
- databases
- fixpoint semantics
- nonmonotonic reasoning
- model theoretic
- database
- predicate logic
- answer sets
- declarative semantics
- data sets
- neural network
- knowledge base
- programming language
- closed world
- logic programming language
- truth values
- datalog programs
- default logic
- horn clauses
- formal semantics