ANTON: Composing Logic and Logic Composing.

Georg Boenn Martin Brain Marina De Vos John ffitch

Published in: LPNMR (2009)

Keyphrases

logic programming
modal logic
classical logic
multi valued
data sets
database
deontic logic
real time
databases
image processing
search algorithm
nonmonotonic reasoning
defeasible logic
logic synthesis
propositional dynamic logic
sound and complete axiomatization