Semantics and Complexity of Abduction from Default Theories

Semantics and Complexity of Abduction from Default Theories

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Eiter, T, Gottlob, G, Leone, N
Định dạng:	Conference item
Được phát hành:	1995

Những quyển sách tương tự

Semantics and Complexity of Abduction from Default Theories
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Abduction from Logic Programs: Semantics and Complexity
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Complexity Results for Abductive Logic Programming
Bằng: Eiter, T, et al.
Được phát hành: (1995)

The Complexity of Logic−Based Abduction
Bằng: Eiter, T, et al.
Được phát hành: (1995)

The Complexity of Logic−Based Abduction
Bằng: Eiter, T, et al.
Được phát hành: (1993)

Complexity Results for Logic−Based Abduction
Bằng: Eiter, T, et al.
Được phát hành: (1992)

The Complexity of Default Reasoning under the Stationary Fixed Point Semantics
Bằng: Gottlob, G
Được phát hành: (1995)

Complexity Aspects of Various Semantics for Disjunctive Databases
Bằng: Eiter, T, et al.
Được phát hành: (1993)

Default Logic as a Query Language
Bằng: Cadoli, M, et al.
Được phát hành: (1997)

Default Logic as a Query Language
Bằng: Cadoli, M, et al.
Được phát hành: (1994)

Well−Founded Semantics for Default Logic
Bằng: Brewka, G, et al.
Được phát hành: (1997)

On the Complexity of Theory Curbing
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
Bằng: Eiter, T, et al.
Được phát hành: (1994)

Complexity Results for Default Reasoning from Conditional Knowledge Bases
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Complexity of Nested Circumscription and Abnormality Theories
Bằng: Cadoli, M, et al.
Được phát hành: (2001)

Complexity of Nested Circumscription and Nested Abnormality Theories
Bằng: Cadoli, M, et al.
Được phát hành: (2002)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Complexity of propositional nested circumscription and nested abnormality theories
Bằng: Cadoli, M, et al.
Được phát hành: (2005)

Hypothesis Classification‚ Abductive Diagnosis and Therapy
Bằng: Friedrich, G, et al.
Được phát hành: (1990)

Abduction through semantic tableaux versus abduction through goal-directed proofs
Bằng: Joke Meheus, et al.
Được phát hành: (2009-12-01)

Ignorance and Semantic Tableaux: Aliseda on Abduction
Bằng: John Woods
Được phát hành: (2009-12-01)

Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity
Bằng: Gottlob, G, et al.
Được phát hành: (1994)

Efficient Datalog Abduction through Bounded Treewidth
Bằng: Gottlob, G, et al.
Được phát hành: (2007)

Complexity of Propositional Knowledge Base Revision
Bằng: Eiter, T, et al.
Được phát hành: (1992)

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
Bằng: Eiter, T, et al.
Được phát hành: (1992)

On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
Bằng: Eiter, T, et al.
Được phát hành: (1992)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
Bằng: Eiter, T, et al.
Được phát hành: (1993)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
Bằng: Eiter, T, et al.
Được phát hành: (1996)

Propositional default logics made easier: computational complexity of model checking
Bằng: Baumgartner, R, et al.
Được phát hành: (2002)

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Bằng: Eiter, T, et al.
Được phát hành: (1993)

On the Indiscernibility of Individuals in Logic Programming
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Character evidence : an abductive theory /
Bằng: 293412 Walton, Douglas
Được phát hành: (2006)

Information Extraction for the Semantic Web
Bằng: Baumgartner, R, et al.
Được phát hành: (2005)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
Bằng: Baumgartner, R, et al.
Được phát hành: (1999)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Translating Default Logic into Standard Autoepistemic Logic
Bằng: Gottlob, G
Được phát hành: (1995)

Abduction: The Logic of Discovery of Grounded Theory
Bằng: Jo Reichertz
Được phát hành: (2009-11-01)

The Complexity of Conjunctive Query Abduction in DL−Lite
Bằng: Calvanese, D, et al.
Được phát hành: (2011)