IMP with exceptions over decorated logic.

Published in: CoRR (2015)

Keyphrases

logic programming
modal logic
proof theory
real time
epistemic logic
computational properties
multi valued
predicate logic
database systems
logic programs
information systems
artificial intelligence
neural network
digital circuits
formal theory
databases
data sets