Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies.
Hajnal AndrékaTamás GergelyIstván NémetiPublished in: COLING (1980)
Keyphrases
- model theoretic
- operational semantics
- deductive databases
- description logics
- fixpoint semantics
- proof theoretic
- decision procedures
- logic programs
- highly expressive
- fixpoint
- default reasoning
- probabilistic reasoning
- action theories
- reasoning mechanism
- expressive power
- logic programming
- formal semantics
- automated reasoning
- integrity constraints
- databases
- query evaluation
- proof theory
- mental states
- finite state machines
- knowledge base
- artificial intelligence