Testing Provers on a Grid - Framework Description.

Carlos Areces Daniel Gorín Alejandra Lorenzo Mariano Pérez Rodríguez

Published in: Description Logics (2009)

Keyphrases

main contribution
high level
theoretical framework
theorem proving
information retrieval
multi agent
probabilistic model
logical framework
database
decision making
image processing
bayesian networks
evolutionary algorithm
computing environments