A Logic of Universal Causation.

Published in: Artif. Intell. (1999)

Keyphrases

multi valued
causal reasoning
logic programming
modal logic
human behavior
logical framework
predicate logic
kolmogorov complexity
search engine
formal theory
set theory
defeasible logic
classical logic
automated reasoning
probability theory
query language
decision trees