Redundancy Notions for Paramodulation with Non-monotonic Orderings.

Miquel Bofill Albert Rubio

Published in: IJCAR (2004)

Keyphrases

inference rules
theorem proving
first order logic
formal definitions
neural network
artificial intelligence
e learning
probability distribution
multi agent
key properties
computational properties
motion estimation
database
information systems
search engine
data mining
data sets
real time