Automated Theorem-Proving for the Theories of Partial and Total Ordering.

James R. Slagle Lewis M. Norton

Published in: Comput. J. (1975)

Keyphrases

automated theorem proving
total ordering
partial ordering
theorem prover
theorem proving
answer set programming
partially ordered
partial order
fixed number
maximum likelihood
first order logic
classical logic
general purpose
inference rules
training data
expert systems
bayesian networks