From onions to broccoli: generalizing Lewis' counterfactual logic.

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

Keyphrases

logical framework
logic programming
modal logic
causal reasoning
computational properties
predicate logic
databases
machine learning
learning algorithm
inference rules