Login / Signup
Connection Tableaux with Lazy Paramodulation.
Andrey Paskevich
Published in:
J. Autom. Reason. (2008)
Keyphrases
</>
decision procedures
theorem proving
inference rules
modal logic
first order logic
proof procedure
lazy learning
functional dependencies
automated reasoning
neural network
optimal solution
user defined
reinforcement learning
inductive learning
database systems
theorem prover
information retrieval
data mining