CondLean 3.0: Improving CondLean for Stronger Conditional Logics.

Nicola Olivetti Gian Luca Pozzato

Published in: TABLEAUX (2005)

Keyphrases

conditional logic
default reasoning
belief revision
higher order logic
nonmonotonic reasoning
modal logic
nonmonotonic inference
higher order
knowledge representation and reasoning
natural language
object oriented
general purpose