Login / Signup
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