СТ |
Fixed-Parameter Algorithms for Artificial Intelligence, Constraint Satisfaction and Database Problems |
2008 |
Gottlob G., Szeider S. |
|
|
|
The Computer Journal |
25.10.2008 |
СТ |
Second-Order Logic over Strings: Regular and Non-regular Fragments |
2002 |
Eiter T., Gottlob G., Schwentick T. |
|
|
|
Lecture Notes in Computer Science |
31.05.2002 |
СТ |
InfoPipes: A Flexible Framework for M-Commerce Applications |
2001 |
Herzog M., Gottlob G. |
|
|
|
Lecture Notes in Computer Science |
07.10.2001 |
СТ |
On Tractable Queries and Constraints |
1999 |
Gottlob G., Leone N., Scarcello F. |
|
|
|
Lecture Notes in Computer Science |
09.10.1999 |
СТ |
The Evolving Algebra Semantics of Class and Role Hierarchies |
1998 |
Gottlob G., Schrefl M. |
|
|
|
Lecture Notes in Computer Science |
25.03.1998 |
СТ |
The PARK Semantics for Active Rules |
1996 |
Gottlob G., Moerkotte G., Subrahmanian V. S. |
|
|
|
Lecture Notes in Computer Science |
18.04.1996 |
СТ |
Causal Models of Disjunctive Logic Programs |
1994 |
Dix J., Gottlob G., Marek V. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
СТ |
Complexity and Expressive Power of Disjunctive Logic Programming |
1994 |
Gottlob G. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
СТ |
Second Order Logic and the Weal Exponential Hierarchies |
1995 |
Gottlob G., Leone N., Veith H. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
21.10.1995 |
СТ |
Complexity and Expressive Power of Disjunctive Logic Programming and Datalog |
1994 |
Gottlob G. |
|
|
Czech Society for Computer Science, Slovak Society for Computer Science |
XXI SOFSEM 94 |
09.09.1995 |
СТ |
Complexity Results for Abductive Logic Programming |
1995 |
Eiter T., Gottlob G., Leone N. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
СТ |
From Carnap s Modal Logic to Autoepistemic Logic |
1994 |
Gottlob G. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
СТ |
Complexity Result for Disjunctive Logic Programming and Application to Nonmonotonic Logics |
1993 |
Eiter T., Gottlob G. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
СТ |
The Complexity of Logic-Based Abduction |
1993 |
Eiter T., Gottlob G. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
СТ |
Datalog: a self-contained tutorial. Part two |
1991 |
Geri S., Gottlob G., Tanca L. |
|
|
|
Программирование |
28.11.1991 |
СТ |
Datalog: a self-contained tutorial. Part one |
1991 |
Ceri S., Gottlob G., Tanca L. |
|
|
|
Программирование |
22.11.1991 |
СТ |
Semantics of Object-Oriented Data Models- The Evolving Algebra Approach |
1991 |
Gottlob G., Kappel G., Schrefl M. |
|
|
|
Lecture Notes in Computer Science |
14.08.1991 |