Adaptively applying modus ponens in conditional logics of normality.

Christian Straßer

Published in: J. Appl. Non Class. Logics (2012)

Keyphrases

conditional logic
modus ponens
default reasoning
higher order logic
belief revision
decision rules
modal logic
nonmonotonic reasoning
nonmonotonic inference
rough sets
normal distribution
decision trees
temporal logic
web services
theorem prover
higher order
pattern recognition
multi agent