Անցեք բովանդակությանը
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
Ցուցիչ
Գտեք
Ընդլայնված
On the Complexity of Some Indu...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
On the Complexity of Some Inductive Logic Programming Problems
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Gottlob, G
,
Leone, N
,
Scarcello, F
Ձևաչափ:
Conference item
Հրապարակվել է:
Springer
1997
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Abduction from Logic Programs: Semantics and Complexity
: Eiter, T, և այլն
Հրապարակվել է: (1997)
The complexity of acyclic conjunctive queries
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
The Complexity of Acyclic Conjunctive Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
On the Indiscernibility of Individuals in Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1997)
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
: Gottlob, G, և այլն
Հրապարակվել է: (2005)
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
: Eiter, T, և այլն
Հրապարակվել է: (1993)
Complexity and Expressive Power of Disjunctive Logic Programming
: Gottlob, G
Հրապարակվել է: (1994)
Succinctness as a Source of Complexity in Logical Formalisms
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Complexity and Expressive Power of Logic Programming
: Dantsin, E, և այլն
Հրապարակվել է: (1997)
Complexity and expressive power of logic programming
: Dantsin, E, և այլն
Հրապարակվել է: (2001)
Computing LOGCFL certificates
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
On Tractable Queries and Constraints
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions: A Survey
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
A Comparison of Structural CSP Decomposition Methods
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
A comparison of structural CSP decomposition methods
: Gottlob, G, և այլն
Հրապարակվել է: (2000)
Computing LOGCFL Certificates
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Fixed−parameter complexity in AI and nonmonotonic reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Complexity Results for Nonmonotonic Logics
: Gottlob, G
Հրապարակվել է: (1992)
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms
: Gottlob, G, և այլն
Հրապարակվել է: (2017)
Hypertree decompositions: questions and answers
: Gottlob, G, և այլն
Հրապարակվել է: (2016)
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract)
: Gottlob, G
Հրապարակվել է: (1993)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1995)
The Complexity of Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1993)
Logic Programming and Databases
: Ceri, S, և այլն
Հրապարակվել է: (1990)
Complexity Results for Logic−Based Abduction
: Eiter, T, և այլն
Հրապարակվել է: (1992)
A logical approach to multicut problems
: Gottlob, G, և այլն
Հրապարակվել է: (2007)
Generalized Quantifiers in Logic Programs
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Visual Data Extraction Through Visual Logic Programming
: Gottlob, G
Հրապարակվել է: (2002)
Second Order Logic and the Weak Exponential Hierarchies
: Gottlob, G, և այլն
Հրապարակվել է: (1995)
Modular Logic Programming and Generalized Quantifiers
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Prev
Հաջորդը
Նմանատիպ նյութեր
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
