Composing and Controlling Search in Reasoning Theories Using Mappings.

Alessandro Coglio Fausto Giunchiglia José Meseguer Carolyn L. Talcott

Published in: FroCoS (2000)

Keyphrases

search algorithm
search space
reasoning and decision making
formal models
information seeking
knowledge base
reasoning tasks
solution space
probabilistic logic
qualitative reasoning
probability theory
probabilistic reasoning
databases
search methods
artificial intelligence
genetic algorithm
neural network