Nonmonotonic Theories and Their Axiomatic Varieties.
Zbigniew StachniakPublished in: J. Log. Lang. Inf. (1995)
Keyphrases
- defeasible logic
- decision theory
- nonmonotonic reasoning
- logic programming
- nonmonotonic logics
- real time
- computational models
- modal logic
- information retrieval
- database
- utility function
- theoretical framework
- knowledge base
- object oriented databases
- decision making
- information systems
- formal models
- probabilistic knowledge
- multiple inheritance