Towards logical negation for compositional distributional semantics.
Martha LewisPublished in: CoRR (2020)
Keyphrases
- logic programming
- logical properties
- model theoretic
- compositional semantics
- logic programs
- deductive databases
- fixpoint semantics
- logical framework
- logical language
- containment of conjunctive queries
- derivation rules
- stable model semantics
- fixpoint
- stable models
- formal semantics
- semantics of logic programs
- extended logic programs
- predicate calculus
- logical rules
- fixed point semantics
- declarative semantics
- logical structure
- logical theories
- logical formulas
- dynamic logic
- databases
- logic programming language
- nonmonotonic reasoning
- answer set programming
- probabilistic knowledge
- relational query languages
- normal logic programs
- predicate logic
- integrity constraints
- co occurrence
- knowledge representation