Sciweavers

307 search results - page 1 / 62
» Causality and the Semantics of Provenance
Sort
View
IJCAI
2003
13 years 6 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»
13 years 4 months ago
Extracting causal graphs from an open provenance data model
Simon Miles, Paul T. Groth, Steve Munroe, Sheng Ji...
JELIA
2010
Springer
13 years 3 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