Model-Theoretic Incremental Interpretation Based on Discourse Representation Theory.
Yoshihide KatoShigeki MatsubaraPublished in: PACLIC (2018)
Keyphrases
- model theoretic
- proof theoretic
- deductive databases
- description logics
- operational semantics
- decision procedures
- presburger arithmetic
- logic programs
- fixpoint
- default reasoning
- action theories
- databases
- probabilistic reasoning
- computer mediated communication
- speech acts
- partial order
- integrity constraints
- probability distribution
- quantifier elimination
- search algorithm
- high level