Sine Qua Non for Large Theory Reasoning.

Krystof Hoder Andrei Voronkov

Published in: CADE (2011)

Keyphrases

commonsense reasoning
deductive reasoning
plausible reasoning
theoretical framework
machine learning
knowledge representation
causal reasoning
logical framework
formal models
genetic algorithm
case based reasoning
computational model
theoretical foundation
formal theory
causal knowledge
imprecise probabilities