Predicting and Detecting Symmetries in FOL Finite Model Search.

Gilles Audemard Belaid Benhamou Laurent Henocque

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

Keyphrases

probabilistic model
computational model
search space
search algorithm
expert systems
statistical model
high level
management system
artificial intelligence
multi agent systems
prior knowledge
theoretical framework
mathematical model
formal model