Worlds of Events: Deduction with Partial Knowledge about Causality.

Seyed H. Haeri (Hossein)Peter Van Roy Carlos Baquero Christopher Meiklejohn

Published in: ICE (2016)

Keyphrases

partial knowledge
causal relations
causal relationships
temporal ordering
event detection
belief state
causal knowledge
inference rules
causal models
theorem proving
event sequences
news stories
temporal data
causal reasoning
theorem prover
computer algebra
temporal information
probabilistic model