Multicontext Logic for Semigroups of Contexts.

Rolf Nossum Luciano Serafini

Published in: AISC (2002)

Keyphrases

modal logic
logic programming
defeasible logic
real time
propositional logic
probabilistic logic
classical logic
nonmonotonic logics
digital circuits
data sets
genetic algorithm
automated reasoning
set theory
predicate logic
proof theory