Default Theories Over Monadic Languages: (Extended Abstract).
Michael KaminskiJulia MosinPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- extended abstract
- default theories
- default logic
- expressive power
- revision operators
- nonmonotonic logics
- autoepistemic logic
- default reasoning
- logic programming
- datalog queries
- default rules
- deductive databases
- classical logic
- answer set programming
- datalog programs
- logic programs
- databases
- nonmonotonic reasoning
- query answering
- probabilistic model
- search space
- artificial intelligence