Paramodulation with Well-founded Orderings.

Miquel Bofill Albert Rubio

Published in: J. Log. Comput. (2009)

Keyphrases

inference rules
theorem proving
first order logic
decision making
multi agent
theorem prover
computational intelligence