Complexity and Expressive Power of Disjunctive Logic Programming

Complexity and Expressive Power of Disjunctive Logic Programming

Bibliografiset tiedot
Päätekijä:	Gottlob, G
Aineistotyyppi:	Conference item
Julkaistu:	1994

Samankaltaisia teoksia

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Tekijä: Eiter, T, et al.
Julkaistu: (1993)

Causal Models of Disjunctive Logic Programs
Tekijä: Dix, J, et al.
Julkaistu: (1994)

Disjunctive Logic Programming over Finite Structures
Tekijä: Eiter, T, et al.
Julkaistu: (1994)

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

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

Complexity and expressive power of logic programming
Tekijä: Dantsin, E, et al.
Julkaistu: (2001)

Complexity and Expressive Power of Logic Programming
Tekijä: Dantsin, E, et al.
Julkaistu: (1997)

Complexity Aspects of Various Semantics for Disjunctive Databases
Tekijä: Eiter, T, et al.
Julkaistu: (1993)

Disjunctive Datalog
Tekijä: Eiter, T, et al.
Julkaistu: (1997)

Complexity and expressive power of disjunction and negation in limit datalog
Tekijä: Kaminski, M, et al.
Julkaistu: (2020)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Tekijä: Lukasiewicz, T
Julkaistu: (1999)

Adding Disjunction to Datalog
Tekijä: Eiter, T, et al.
Julkaistu: (1994)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Tekijä: Cristina Feier, et al.
Julkaistu: (2019-05-01)

An alternative rule of disjunction in modal logic
Tekijä: Williamson, T
Julkaistu: (1992)

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

Mental logic and its difficulties with disjunction
Tekijä: Miguel López-Astorga
Julkaistu: (2016-05-01)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Tekijä: Kaminski, M, et al.
Julkaistu: (2014)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Tekijä: Lukasiewicz, T
Julkaistu: (2001)

Complexity Results for Abductive Logic Programming
Tekijä: Eiter, T, et al.
Julkaistu: (1995)

Abduction from Logic Programs: Semantics and Complexity
Tekijä: Eiter, T, et al.
Julkaistu: (1997)

Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators
Tekijä: Costa-Leite Alexandre, et al.
Julkaistu: (2020-10-01)

On the Complexity of Some Inductive Logic Programming Problems
Tekijä: Gottlob, G, et al.
Julkaistu: (1997)

On the Complexity of Some Inductive Logic Programming Problems
Tekijä: Gottlob, G, et al.
Julkaistu: (1999)

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

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
Tekijä: Hustadt, U, et al.
Julkaistu: (2007)

The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
Tekijä: Gottlob, G
Julkaistu: (1994)

Complexity Results for Nonmonotonic Logics
Tekijä: Gottlob, G
Julkaistu: (1992)

The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
Tekijä: Gottlob, G
Julkaistu: (1993)

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

Consequence-based reasoning for description logics with disjunctions and number restrictions
Tekijä: Bate, A, et al.
Julkaistu: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Tekijä: Bate, A, et al.
Julkaistu: (2018)

Disjunctive bases: normal forms and model theory for modal logics
Tekijä: Sebastian Enqvist, et al.
Julkaistu: (2022-08-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Tekijä: Sopo Pkhakadze, et al.
Julkaistu: (2020-07-01)

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
Tekijä: Eiter, T, et al.
Julkaistu: (1993)

The Complexity of Logic−Based Abduction
Tekijä: Eiter, T, et al.
Julkaistu: (1995)

The Complexity of Logic−Based Abduction
Tekijä: Eiter, T, et al.
Julkaistu: (1993)

Logic Programming and Databases
Tekijä: Ceri, S, et al.
Julkaistu: (1990)

Complexity Results for Logic−Based Abduction
Tekijä: Eiter, T, et al.
Julkaistu: (1992)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
Tekijä: Cucala, D, et al.
Julkaistu: (2017)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Tekijä: Rudolph, S, et al.
Julkaistu: (2008)