Sciweavers

193 search results - page 4 / 39
» A Causal Theory of Abduction
Sort
View
CORR
2011
Springer
180views Education» more  CORR 2011»
13 years 24 days ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
ADVCS
2008
83views more  ADVCS 2008»
13 years 4 months ago
Information Flows in Causal Networks
We introduce a notion of causal independence based on virtual intervention, which is a fundamental concept of the theory of causal networks. Causal independence allows for de ning ...
Nihat Ay, Daniel Polani
CSL
2003
Springer
13 years 11 months ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino
FLAIRS
2001
13 years 7 months ago
Probabilistic Plan Recognition for Hostile Agents
This paper presents a probabilistic and abductive theory of plan recognition that handles agents that are actively hostile to the inference of their plans. This focus violates a p...
Christopher W. Geib, Robert P. Goldman
ECAI
2000
Springer
13 years 9 months ago
Verification Programs for Abduction
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
Paolo Liberatore, Francesco M. Donini