Login / Signup
An Inference Rule for Hypothesis Generation.
Robert Demolombe
Luis Fariñas del Cerro
Published in:
IJCAI (1991)
Keyphrases
</>
inference rules
modal logic
first order logic
logical framework
theorem proving
horn clauses
artificial intelligence
theorem prover
truth values
expert systems
sequent calculus
proof search