تخطي إلى المحتوى
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
Монгол
اللغة
كل الحقول
العنوان
المؤلف
الموضوع
رقم الاستدعاء
ردمك/تدمد
الوسم
ابحث
بحث متقدم
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)
السابق
التالي
مواد مشابهة
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)