A Vernacular for Coherent Logic.

Sana Stojanovic Julien Narboux Marc Bezem Predrag Janicic

Published in: CICM (2014)

Keyphrases

logic programming
classical logic
modal logic
automated reasoning
multi valued
artificial intelligence
predicate logic
deductive reasoning
real time
databases
data mining
probabilistic logic
digital circuits
dynamic logic
sound and complete axiomatization