Clausal Presentation of Theories in Deduction Modulo.
Jian-Hua GaoPublished in: J. Comput. Sci. Technol. (2013)
Keyphrases
- theorem proving
- defeasible logic
- propositional theories
- inference rules
- multimedia
- cognitive psychology
- automated deduction
- decision procedures
- constraint propagation
- horn clauses
- temporal resolution
- computational problems
- databases
- theorem prover
- rule base
- logic programs
- automated reasoning
- computational properties
- inductive logic programming
- theory revision
- automated theorem proving
- image sequences
- information presentation
- neural network