Model Elimination Without Contrapositives and Its Application to PTTP.

Peter Baumgartner Ulrich Furbach

Published in: J. Autom. Reason. (1994)

Keyphrases

probabilistic model
formal model
computational model
objective function
management system
statistical model
similarity measure
reinforcement learning
theoretical framework
experimental data
database
decision making
general purpose
mathematical model
conceptual model