Անցեք բովանդակությանը
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
Ցուցիչ
Գտեք
Ընդլայնված
The DLV System for Knowledge R...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
The DLV System for Knowledge Representation and Reasoning
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Leone, N
,
Pfeifer, G
,
Faber, W
,
Eiter, T
,
Gottlob, G
,
Perri, S
,
Scarcello, F
Ձևաչափ:
Journal article
Հրապարակվել է:
2002
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
The DLV system for knowledge representation and reasoning
: Leone, N, և այլն
Հրապարակվել է: (2006)
The DLV System
: Leone, N, և այլն
Հրապարակվել է: (2002)
The dlv System: Model Generator and Advanced Frontends (system description)
: Citrigno, S, և այլն
Հրապարակվել է: (1997)
Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
: Athanas, M, և այլն
Հրապարակվել է: (1997)
Reasoning with parsimonious and moderately grounded expansions
: Eiter, T, և այլն
Հրապարակվել է: (1992)
Reasoning under minimal upper bounds in propositional logic
: Eiter, T, և այլն
Հրապարակվել է: (2006)
Reasoning under minimal upper bounds in propositional logic
: Eiter, T, և այլն
Հրապարակվել է: (2006)
Fixed−parameter complexity in AI and nonmonotonic reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (2006)
Bounded treewidth as a key to tractability of knowledge representation and reasoning
: Gottlob, G, և այլն
Հրապարակվել է: (2010)
Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
: Eiter, T, և այլն
Հրապարակվել է: (1993)
Boosting Information Integration: The INFOMIX System
: Leone, N, և այլն
Հրապարակվել է: (2005)
Computing LOGCFL certificates
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Hypertree Decompositions and Tractable Queries
: Gottlob, G, և այլն
Հրապարակվել է: (2002)
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
: Gottlob, G, և այլն
Հրապարակվել է: (2003)
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1997)
On the Complexity of Some Inductive Logic Programming Problems
: Gottlob, G, և այլն
Հրապարակվել է: (1999)
The complexity of acyclic conjunctive queries
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
The Complexity of Acyclic Conjunctive Queries
: Gottlob, G, և այլն
Հրապարակվել է: (1998)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
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, և այլն
Հրապարակվել է: (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)
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
: Gottlob, G, և այլն
Հրապարակվել է: (2001)
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)
Abduction from Logic Programs: Semantics and Complexity
: Eiter, T, և այլն
Հրապարակվել է: (1997)
On the Indiscernibility of Individuals in Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1997)
Complexity Results for Abductive Logic Programming
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Semantics and Complexity of Abduction from Default Theories
: Eiter, T, և այլն
Հրապարակվել է: (1995)
Prev
Հաջորդը
Նմանատիպ նյութեր
The DLV system for knowledge representation and reasoning
: Leone, N, և այլն
Հրապարակվել է: (2006)
The DLV System
: Leone, N, և այլն
Հրապարակվել է: (2002)
The dlv System: Model Generator and Advanced Frontends (system description)
: Citrigno, S, և այլն
Հրապարակվել է: (1997)
Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
: Athanas, M, և այլն
Հրապարակվել է: (1997)
Reasoning with parsimonious and moderately grounded expansions
: Eiter, T, և այլն
Հրապարակվել է: (1992)
