Adding a Dimension to Logic Diagramming.

Laurence Goldstein

Published in: TICTTL (2011)

Keyphrases

logic programming
multi valued
nonmonotonic logics
modal logic
computational properties
databases
real world
case study
automated reasoning
classical logic
formal theory
asynchronous circuits