Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

We present the language PC+ for probabilistic reasoning about actions, which is a generalization of the action language C+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of <em&...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar:	Eiter, T, Lukasiewicz, T
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Morgan Kaufmann 2003

Benzer Materyaller

Game−Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
Yazar:: Finzi, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Nonmonotonic Probabilistic Reasoning under Variable−Strength Inheritance with Overriding
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Weak Nonmonotonic Probabilistic Logics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2004)

Weak Nonmonotonic Probabilistic Logics
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2002)

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
Yazar:: Iocchi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Yazar:: Iocchi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Yazar:: Iocchi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Yazar:: Iocchi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Explanatory nonmonotonic reasoning /
Yazar:: Bochman, Alexander, 1955-
Baskı/Yayın Bilgisi: (2005)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2005)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2007)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Fixed−parameter complexity in AI and nonmonotonic reasoning
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Complexity Results for Structure−Based Causality
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Complexity Results for Structure−Based Causality
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

On using human nonmonotonic reasoning to inform artificial systems
Yazar:: Marilyn Ford
Baskı/Yayın Bilgisi: (2005-03-01)

Complexity Results for Default Reasoning from Conditional Knowledge Bases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Probabilistic Default Reasoning with Conditional Constraints
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2002)

Probabilistic Default Reasoning with Conditional Constraints
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2000)

Extension of the Relational Algebra to Probabilistic Complex Values
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Probabilistic Object Bases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

A Data Model and Algebra for Probabilistic Complex Values
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Motivated Action Theory: A Formal Theory of Causal Reasoning
Yazar:: Stein, Lynn Andrea, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

The Use of Censors for Nonmonotonic Reasoning and Analogy in Medical Desicion-Making
Yazar:: Mansour, Hormoz
Baskı/Yayın Bilgisi: (2004)

Tractable probabilistic models for causal learning and reasoning
Yazar:: Wang, B
Baskı/Yayın Bilgisi: (2023)

Probabilistic causal reasoning under time pressure.
Yazar:: Ivar R Kolvoort, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
Yazar:: Rosati, R, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A probabilistic theory of causality/
Yazar:: 464043 Suppes, Patrick
Baskı/Yayın Bilgisi: (1970)

Grigoris Antoniou, Nonmonotonic Reasoning, Cambridge, The MIT Press, 1997, 285 pp.
Yazar:: Estanislao Barry
Baskı/Yayın Bilgisi: (1998-11-01)

Reasoning about causality in games
Yazar:: Hammond, L, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Causal influence in operational probabilistic theories
Yazar:: Paolo Perinotti
Baskı/Yayın Bilgisi: (2021-08-01)

A tutorial on query answering and reasoning over probabilistic knowledge bases
Yazar:: Ceylan, I, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Reasoning with Expectations About Causal Relations
Yazar:: Gärdenfors Peter
Baskı/Yayın Bilgisi: (2022-12-01)

Hybrid reasoning with rules and ontologies
Yazar:: Drabent, W, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
Yazar:: Biazzo, V, ve diğerleri
Baskı/Yayın Bilgisi: (2002)