Contracting Logics.

Márcio Moretto Ribeiro Marcelo E. Coniglio

Published in: WoLLIC (2012)

Keyphrases

modal logic
expressive power
propositional calculus
epistemic logic
conditional logic
classical logic
propositional dynamic logic
service discovery
inference rules
decision procedures
nonmonotonic logics
machine learning
databases
real time
database
automated negotiation
proof theory