Towards Logical Negation for Compositional Distributional Semantics.
Martha LewisPublished in: FLAP (2020)
Keyphrases
- logic programming
- logical properties
- model theoretic
- deductive databases
- logic programs
- compositional semantics
- logical rules
- fixpoint semantics
- fixed point semantics
- semantics for logic programs
- logical language
- co occurrence
- derivation rules
- predicate calculus
- formal semantics
- description logics
- predicate logic
- stable models
- dynamic logic
- fixpoint
- databases
- containment of conjunctive queries
- closed world assumption
- logical theories
- open world
- normal logic programs
- truth values
- logical structure
- stable model semantics
- incomplete information
- extended logic programs
- probabilistic logic
- integrity constraints
- logical framework
- declarative semantics
- conceptual model
- operational semantics
- semantic information
- semantics of logic programs
- datalog programs