Sequent Systems for Lewis' Conditional Logics.

Björn Lellmann Dirk Pattinson

Published in: JELIA (2012)

Keyphrases

conditional logic
distributed systems
nonmonotonic reasoning
management system
modal logic
machine learning
np hard
multi dimensional
model checking
inference rules
theorem prover
nonmonotonic inference