The DLV System for Knowledge Representation and Reasoning

The DLV System for Knowledge Representation and Reasoning

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

Chi tiết về thư mục
Những tác giả chính:	Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F
Định dạng:	Journal article
Được phát hành:	2002

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

The DLV system for knowledge representation and reasoning
Bằng: Leone, N, et al.
Được phát hành: (2006)

The DLV System
Bằng: Leone, N, et al.
Được phát hành: (2002)

The dlv System: Model Generator and Advanced Frontends (system description)
Bằng: Citrigno, S, et al.
Được phát hành: (1997)

Measurement of the B̄ → Dlv̄ Partial width and form factor parameters
Bằng: Athanas, M, et al.
Được phát hành: (1997)

Reasoning with parsimonious and moderately grounded expansions
Bằng: Eiter, T, et al.
Được phát hành: (1992)

Reasoning under minimal upper bounds in propositional logic
Bằng: Eiter, T, et al.
Được phát hành: (2006)

Reasoning under minimal upper bounds in propositional logic
Bằng: Eiter, T, et al.
Được phát hành: (2006)

Fixed−parameter complexity in AI and nonmonotonic reasoning
Bằng: Gottlob, G, et al.
Được phát hành: (2002)

Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
Bằng: Gottlob, G, et al.
Được phát hành: (2006)

Bounded treewidth as a key to tractability of knowledge representation and reasoning
Bằng: Gottlob, G, et al.
Được phát hành: (2010)

Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
Bằng: Eiter, T, et al.
Được phát hành: (1993)

Boosting Information Integration: The INFOMIX System
Bằng: Leone, N, et al.
Được phát hành: (2005)

Computing LOGCFL certificates
Bằng: Gottlob, G, et al.
Được phát hành: (2002)

Hypertree Decompositions and Tractable Queries
Bằng: Gottlob, G, et al.
Được phát hành: (2002)

Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
Bằng: Gottlob, G, et al.
Được phát hành: (2003)

On the Complexity of Some Inductive Logic Programming Problems
Bằng: Gottlob, G, et al.
Được phát hành: (1997)

On the Complexity of Some Inductive Logic Programming Problems
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

The complexity of acyclic conjunctive queries
Bằng: Gottlob, G, et al.
Được phát hành: (2001)

The Complexity of Acyclic Conjunctive Queries
Bằng: Gottlob, G, et al.
Được phát hành: (1998)

Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Bằng: Gottlob, G, et al.
Được phát hành: (2001)

Hypertree Decompositions and Tractable Queries
Bằng: Gottlob, G, et al.
Được phát hành: (1998)

On Tractable Queries and Constraints
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

Hypertree Decompositions: A Survey
Bằng: Gottlob, G, et al.
Được phát hành: (2001)

Hypertree Decompositions and Tractable Queries
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

A Comparison of Structural CSP Decomposition Methods
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

A comparison of structural CSP decomposition methods
Bằng: Gottlob, G, et al.
Được phát hành: (2000)

Computing LOGCFL Certificates
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

Hypertree Decompositions and Tractable Queries
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Bằng: Gottlob, G, et al.
Được phát hành: (2001)

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)

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

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

Semantics and Complexity of Abduction from Default Theories
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)

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