Mode-Directed Inverse Entailment for Full Clausal Theories.
Oliver RayKatsumi InouePublished in: ILP (2007)
Keyphrases
- defeasible logic
- propositional theories
- logic programming
- theorem proving
- logic programs
- inductive logic programming
- probabilistic logic
- theoretical framework
- horn clauses
- textual entailment
- cognitive psychology
- constraint propagation
- artificial intelligence
- computational problems
- temporal resolution
- np complete
- jacobian matrix
- information systems