Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation.

Miquel Bofill Albert Rubio

Published in: CADE (2002)

Keyphrases

inference rules
theorem proving
first order logic
probability distribution
data quality
ultimate goal
formal proofs
neural network
information systems
website
multiscale
multi agent
object recognition