Permutative Logic.

Jean-Marc Andreoli Gabriele Pulcini Paul Ruet

Published in: CSL (2005)

Keyphrases

classical logic
modal logic
image processing
computational properties
databases
abductive reasoning
predicate logic
automated reasoning
logic programming
multi valued
programming language
digital circuits
machine learning
formal theory
database
deontic logic
dynamic logic
proof theory