The Representation of Inconsistent Information in a Dynamic Model-Theoretic Semantics.
Douglas B. MoranPublished in: ACL (1982)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- inconsistent information
- decision procedures
- fixpoint
- fixpoint semantics
- logic programs
- default reasoning
- probabilistic reasoning
- formal semantics
- defeasible reasoning
- automated reasoning
- logic programming
- knowledge base
- modal logic
- query evaluation
- query language