Causes and Explanations in the Structural−Model Approach: Tractable Cases

Causes and Explanations in the Structural−Model Approach: Tractable Cases

Taispeáin leaganacha eile (1)

<p>This paper continues the research on the computational aspects of Halpern and Pearl's causes and explanations in the structural model approach. To this end, we first explore how an instance of deciding weak cause can be reduced to an equivalent instance in which irrelevant variables in...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Eiter, T, Lukasiewicz, T
Formáid:	Journal article
Foilsithe / Cruthaithe:	2006

Míreanna comhchosúla

Causes and Explanations in the Structural−Model Approach : Tractable Cases
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2002)

Complexity Results for Explanations in the Structural−Model Approach
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2002)

Complexity Results for Explanations in the Structural−Model Approach
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2015)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2000)

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2000)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Tractable Probabilistic Description Logic Programs
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Structure−Based Causes and Explanations in the Independent Choice Logic
de réir: Finzi, A, et al.
Foilsithe / Cruthaithe: (2003)

Tractable Reasoning with Bayesian Description Logics
de réir: d'Amato, C, et al.
Foilsithe / Cruthaithe: (2008)

Tractable reasoning with bayesian description logics
de réir: D'Amato, C, et al.
Foilsithe / Cruthaithe: (2008)

Tractable Query Answering over Ontologies with Datalog+⁄−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Probabilistic models over weighted orderings: fixed-parameter tractable variable elimination
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2016)

Tractable uncertainty for structure learning
de réir: Wang, B, et al.
Foilsithe / Cruthaithe: (2022)

The order encoding: from tractable CSP to tractable SAT
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

The order encoding: From tractable CSP to tractable SAT
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

Complexity Results for Structure−Based Causality
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2001)

Complexity Results for Structure−Based Causality
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2002)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

A general datalog-based framework for tractable query answering over ontologies.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

A general Datalog-based framework for tractable query answering over ontologies.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

Causality and tractable probabilistic models
de réir: David Cruz, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Tractable triangles
de réir: Cooper, M, et al.
Foilsithe / Cruthaithe: (2011)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Lifting Structural Tractability to CSP with Global Constraints
de réir: Thorstensen, E
Foilsithe / Cruthaithe: (2015)

Lifting Structural Tractability to CSP with Global Constraints
de réir: Thorstensen, E
Foilsithe / Cruthaithe: (2013)

A Test for Tractability
de réir: P.G.Jeavons, et al.
Foilsithe / Cruthaithe: (1996)

Tractable Disjunctive Constraints
de réir: D.A.Cohen, et al.
Foilsithe / Cruthaithe: (1997)

Tractable Inference Relations
de réir: Givan, Robert, et al.
Foilsithe / Cruthaithe: (2004)

On Tractable Queries and Constraints
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1999)

Tractable valued constraints
de réir: Jeavons, P, et al.
Foilsithe / Cruthaithe: (2012)

Perfect Constraints Are Tractable
de réir: Salamon, A, et al.
Foilsithe / Cruthaithe: (2008)

Perfect Constraints Are Tractable
de réir: Salamon, A, et al.
Foilsithe / Cruthaithe: (2008)

Characterising Tractable Constraints
de réir: M.C.Cooper, et al.
Foilsithe / Cruthaithe: (1994)

Tractable Valued Constraints
de réir: Jeavons, P, et al.
Foilsithe / Cruthaithe: (2013)

On tractability and congruence distributivity
de réir: Emil Kiss, et al.
Foilsithe / Cruthaithe: (2007-06-01)

Hybrid tractable CSPs which generalize tree structure
de réir: Cooper, M, et al.
Foilsithe / Cruthaithe: (2008)

Tractable probabilistic models for causal learning and reasoning
de réir: Wang, B
Foilsithe / Cruthaithe: (2023)