Basic Paramodulation and Decidable Theories (Extended Abstract).

Robert Nieuwenhuis

Published in: LICS (1996)

Keyphrases

extended abstract
first order logic
inference rules
theorem proving
expressive power
theoretical framework
cognitive psychology
action theories
decision making
neural network
data mining
genetic algorithm
knowledge representation
computational models
situation calculus