Computational Semantics of Time/Negation Interaction.
Pascal AmsiliNabil HathoutPublished in: COLING (1996)
Keyphrases
- logic programming
- compositional semantics
- logic programs
- human computer interaction
- formal semantics
- stable model semantics
- derivation rules
- user interaction
- stable models
- virtual environment
- containment of conjunctive queries
- normal logic programs
- computational power
- open world
- argumentation semantics
- horn clauses
- database
- human interaction
- deductive databases
- semantic information
- object oriented
- data sets