IMP with exceptions over decorated logic.

Published in: Discret. Math. Theor. Comput. Sci. (2018)

Keyphrases

modal logic
logic programming
proof theory
classical logic
real world
artificial intelligence
logical framework
digital circuits
asynchronous circuits
information systems
e learning
similarity measure
social networks
probability theory
multi valued
defeasible logic
databases