General Logical Databases and Programs: Default Logic Semantics and Stratification
Nicole BidoitChristine FroidevauxPublished in: Inf. Comput. (1991)
Keyphrases
- default logic
- default theories
- databases
- nonmonotonic logics
- default reasoning
- autoepistemic logic
- logic programming
- default rules
- nonmonotonic reasoning
- database
- valued semantics
- truth maintenance systems
- extended logic programs
- model theoretic
- classical logic
- natural language
- relational databases
- database systems
- strong and uniform equivalence
- answer set semantics
- stable models
- formal semantics
- answer set programming
- data model