Անցեք բովանդակությանը
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Semantics and Complexity of Ab...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
Semantics and Complexity of Abduction from Default Theories
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Eiter, T
,
Gottlob, G
,
Leone, N
Ձևաչափ:
Conference item
Հրապարակվել է:
1995
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Abduction from Logic Programs: Semantics and Complexity
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1995)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1993)
Complexity Results for Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1992)
The Complexity of Default Reasoning under the Stationary Fixed Point Semantics
: Gottlob, G
Հրապարակվել է: (1995)
Complexity Aspects of Various Semantics for Disjunctive Databases
: Eiter, T, և այլն
Հրապարակվել է: (1993)
Default Logic as a Query Language
: Cadoli, M, և այլն
Հրապարակվել է: (1997)
Default Logic as a Query Language
: Cadoli, M, և այլն
Հրապարակվել է: (1994)
Well−Founded Semantics for Default Logic
: Brewka, G, և այլն
Հրապարակվել է: (1997)
On the Complexity of Theory Curbing
: Eiter, T, և այլն
Հրապարակվել է: (2000)
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
: Eiter, T, և այլն
Հրապարակվել է: (1994)
Complexity Results for Default Reasoning from Conditional Knowledge Bases
: Eiter, T, և այլն
Հրապարակվել է: (2000)
Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
: Eiter, T, և այլն
Հրապարակվել է: (2000)
Complexity of Nested Circumscription and Abnormality Theories
: Cadoli, M, և այլն
Հրապարակվել է: (2001)
Complexity of Nested Circumscription and Nested Abnormality Theories
: Cadoli, M, և այլն
Հրապարակվել է: (2002)
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Complexity of propositional nested circumscription and nested abnormality theories
: Cadoli, M, և այլն
Հրապարակվել է: (2005)
Hypothesis Classification‚ Abductive Diagnosis and Therapy
: Friedrich, G, և այլն
Հրապարակվել է: (1990)
Abduction through semantic tableaux versus abduction through goal-directed proofs
: Joke Meheus, և այլն
Հրապարակվել է: (2009-12-01)
Ignorance and Semantic Tableaux: Aliseda on Abduction
: John Woods
Հրապարակվել է: (2009-12-01)
Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity
: Gottlob, G, և այլն
Հրապարակվել է: (1994)
Efficient Datalog Abduction through Bounded Treewidth
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
Complexity of Propositional Knowledge Base Revision
: Eiter, T, և այլն
Հրապարակվել է: (1992)
On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
: Eiter, T, և այլն
Հրապարակվել է: (1992)
On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
: Eiter, T, և այլն
Հրապարակվել է: (1992)
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
: Eiter, T, և այլն
Հրապարակվել է: (1993)
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
: Eiter, T, և այլն
Հրապարակվել է: (1996)
Propositional default logics made easier: computational complexity of model checking
: Baumgartner, R, և այլն
Հրապարակվել է: (2002)
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
: Eiter, T, և այլն
Հրապարակվել է: (2000)
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
: Eiter, T, և այլն
Հրապարակվել է: (1993)
On the Indiscernibility of Individuals in Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Character evidence : an abductive theory /
: 293412 Walton, Douglas
Հրապարակվել է: (2006)
Information Extraction for the Semantic Web
: Baumgartner, R, և այլն
Հրապարակվել է: (2005)
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
: Baumgartner, R, և այլն
Հրապարակվել է: (1999)
The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Translating Default Logic into Standard Autoepistemic Logic
: Gottlob, G
Հրապարակվել է: (1995)
Abduction: The Logic of Discovery of Grounded Theory
: Jo Reichertz
Հրապարակվել է: (2009-11-01)
The Complexity of Conjunctive Query Abduction in DL−Lite
: Calvanese, D, և այլն
Հրապարակվել է: (2011)
Prev
Հաջորդը
Նմանատիպ նյութեր
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Abduction from Logic Programs: Semantics and Complexity
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1995)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1993)
