Sciweavers

307 search results - page 1 / 62
» Causality and the Semantics of Provenance
Sort
View
IJCAI
2003
15 years 2 months ago
A Logic For Causal Reasoning
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
Alexander Bochman
CONCURRENCY
2008
71views more  CONCURRENCY 2008»
15 years 1 months ago
Extracting causal graphs from an open provenance data model
Simon Miles, Paul T. Groth, Steve Munroe, Sheng Ji...
130
Voted
JELIA
2010
Springer
14 years 12 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang