Algebra and Probability in Many-Valued Reasoning.

Ioana Leustean Vincenzo Marra

Published in: Stud Logica (2010)

Keyphrases

knowledge base
reasoning systems
reasoning process
probability distribution
automated reasoning
databases
query language
conditional probabilities
posterior probability
reasoning tasks
modal logic
concept lattice
legal reasoning
maximal tractable