Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics

Bibliographic Details
Main Authors:	Eiter, T, Gottlob, G
Format:	Conference item
Published:	1993

Similar Items

Complexity Results for Nonmonotonic Logics
by: Gottlob, G
Published: (1992)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

Disjunctive Logic Programming over Finite Structures
by: Eiter, T, et al.
Published: (1994)

Complexity and Expressive Power of Disjunctive Logic Programming
by: Gottlob, G
Published: (1994)

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract)
by: Gottlob, G
Published: (1993)

Complexity Results for Abductive Logic Programming
by: Eiter, T, et al.
Published: (1995)

Causal Models of Disjunctive Logic Programs
by: Dix, J, et al.
Published: (1994)

Complexity Results for Logic−Based Abduction
by: Eiter, T, et al.
Published: (1992)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
by: Rosati, R, et al.
Published: (2005)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
by: Eiter, T, et al.
Published: (1997)

Abduction from Logic Programs: Semantics and Complexity
by: Eiter, T, et al.
Published: (1997)

Complexity and expressive power of logic programming
by: Dantsin, E, et al.
Published: (2001)

Complexity and Expressive Power of Logic Programming
by: Dantsin, E, et al.
Published: (1997)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1993)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1995)

Complexity Aspects of Various Semantics for Disjunctive Databases
by: Eiter, T, et al.
Published: (1993)

Weak Nonmonotonic Probabilistic Logics
by: Lukasiewicz, T
Published: (2005)

Weak Nonmonotonic Probabilistic Logics
by: Lukasiewicz, T
Published: (2004)

On the Indiscernibility of Individuals in Logic Programming
by: Eiter, T, et al.
Published: (1997)

Generalized Quantifiers in Logic Programs
by: Eiter, T, et al.
Published: (1997)

Modular Logic Programming and Generalized Quantifiers
by: Eiter, T, et al.
Published: (1997)

Disjunctive Datalog
by: Eiter, T, et al.
Published: (1997)

Notes on Nonmonotonic Autoepistemic Propositional Logic
by: Marek A. Suchenek
Published: (2011-12-01)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
by: Eiter, T, et al.
Published: (1997)

Adding Disjunction to Datalog
by: Eiter, T, et al.
Published: (1994)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
by: Eiter, T, et al.
Published: (1994)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
by: Lukasiewicz, T
Published: (2002)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
by: Lukasiewicz, T
Published: (1999)

Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
by: Mihaiela Lupea
Published: (2010-12-01)

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
by: Eiter, T, et al.
Published: (1998)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006)

Hypergraph Transversal Computation and Related Problems in Logic and AI
by: Eiter, T, et al.
Published: (2002)

An alternative rule of disjunction in modal logic
by: Williamson, T
Published: (1992)

Mental Logic and the Denials of Conjunctions and Disjunctions
by: Miguel López-Astorga
Published: (2016-03-01)

Mental logic and its difficulties with disjunction
by: Miguel López-Astorga
Published: (2016-05-01)

Default Logic as a Query Language
by: Cadoli, M, et al.
Published: (1994)

Default Logic as a Query Language
by: Cadoli, M, et al.
Published: (1997)

Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation
by: Lukasiewicz, T
Published: (2007)

Existential Second−Order Logic over Strings
by: Eiter, T, et al.
Published: (1998)