On semilattice-based logics with an algebraizable assertional companion.

Josep Maria Font

Published in: Reports Math. Log. (2011)

Keyphrases

expressive power
inference rules
modal logic
propositional calculus
artificial intelligence
conditional logic
domain knowledge
e learning
computer vision
epistemic logic
proof procedures
bayesian networks
decision procedures
nonmonotonic logics
probabilistic knowledge
genetic algorithm
propositional dynamic logic