A Theory of Hypothesis Finding in Clausal Logic.
Akihiro YamamotoBertram FronhöferPublished in: Progress in Discovery Science (2002)
Keyphrases
- propositional theories
- defeasible logic
- formal theory
- commonsense reasoning
- set theory
- computer algebra
- boolean algebra
- modal logic
- proof theory
- theoretical basis
- probability theory
- logic programs
- computational problems
- general theory
- multi valued
- logic programming
- deductive reasoning
- proof theoretic
- theoretical framework
- formal logic
- theorem proving
- inductive logic programming
- background knowledge