Normal Form Results for Default Logic.
V. Wiktor MarekMiroslaw TruszczynskiPublished in: Nonmonotonic and Inductive Logic (1991)
Keyphrases
- normal form
- default logic
- default theories
- default reasoning
- nonmonotonic logics
- nonmonotonic reasoning
- autoepistemic logic
- logic programming
- functional dependencies
- database design
- relational databases
- relational algebra
- modal logic
- nested relations
- fixed point
- classical logic
- high level
- relational model
- temporal logic
- probabilistic reasoning
- software engineering
- knowledge base
- artificial intelligence
- default rules
- database