AAAAAA

   
Results: 1-8 |
Results: 8
The complexity of acyclic conjunctive queries
Authors: Gottlob, G Leone, N Scarcello, F
Citation: G. Gottlob et al., The complexity of acyclic conjunctive queries, J ACM, 48(3), 2001, pp. 431-498
Working with ARMs: Complexity results on atomic representations of Herbrand models
Authors: Gottlob, G Pichler, R
Citation: G. Gottlob et R. Pichler, Working with ARMs: Complexity results on atomic representations of Herbrand models, INF COMPUT, 165(2), 2001, pp. 183-207
On ACTL formulas having linear counterexamples
Authors: Buccafurri, F Eiter, T Gottlob, G Leone, N
Citation: F. Buccafurri et al., On ACTL formulas having linear counterexamples, J COMPUT SY, 62(3), 2001, pp. 463-515
Existential second-order logic over strings
Authors: Eiter, T Gottlob, G Gurevich, Y
Citation: T. Eiter et al., Existential second-order logic over strings, J ACM, 47(1), 2000, pp. 77-131
A comparison of structural CSP decomposition methods
Authors: Gottlob, G Leone, N Scarcello, F
Citation: G. Gottlob et al., A comparison of structural CSP decomposition methods, ARTIF INTEL, 124(2), 2000, pp. 243-282
On the complexity of some inductive logic programming problems
Authors: Gottlob, G Leone, N Scarcello, F
Citation: G. Gottlob et al., On the complexity of some inductive logic programming problems, NEW GEN COM, 17(1), 1999, pp. 53-75
Succinctness as a source of complexity in logical formalisms
Authors: Gottlob, G Leone, N Veith, H
Citation: G. Gottlob et al., Succinctness as a source of complexity in logical formalisms, ANN PUR APP, 97(1-3), 1999, pp. 231-260
Enhancing model checking in verification by AI techniques
Authors: Buccafurri, F Eiter, T Gottlob, G Leone, N
Citation: F. Buccafurri et al., Enhancing model checking in verification by AI techniques, ARTIF INTEL, 112(1-2), 1999, pp. 57-104
Risultati: 1-8 |