Sciweavers

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