Complexity and Expressive Power of Disjunctive Logic Programming
Hlavní autor: | Gottlob, G |
---|---|
Médium: | Conference item |
Vydáno: |
1994
|
Podobné jednotky
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Autor: Eiter, T, a další
Vydáno: (1993) -
Causal Models of Disjunctive Logic Programs
Autor: Dix, J, a další
Vydáno: (1994) -
Disjunctive Logic Programming over Finite Structures
Autor: Eiter, T, a další
Vydáno: (1994) -
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
Autor: Eiter, T, a další
Vydáno: (1995) -
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
Autor: Eiter, T, a další
Vydáno: (1994)