Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages.
Victor W. MarekPublished in: Theory Pract. Log. Program. (2007)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- commonsense reasoning
- conditional logic
- website
- nonmonotonic inference
- search engine
- causal inference
- web pages
- autoepistemic logic
- defeasible reasoning
- defeasible logic
- proof theoretic
- data mining
- default rules
- nonmonotonic logics
- default theories
- possibility theory
- argumentation systems
- extended logic programs
- abductive reasoning
- programming language
- logic programs
- deductive databases
- knowledge base
- general purpose