СТ |
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 |
СТ |
The Expressive Power of Partial Models for Disjunctive Deductive Databases |
1996 |
Eiter T., Leone N., Sacca D. |
|
|
|
Lecture Notes in Computer Science |
28.11.1996 |
СТ |
Complexity Results for Abductive Logic Programming |
1995 |
Eiter T., Gottlob G., Leone N. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
СТ |
Querying Disjunctive Databases through Nonmonotonic Logics |
1995 |
Bonatti P. A., Eiter T. |
|
|
|
Lecture Notes in Computer Science |
15.02.1995 |
СТ |
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 |
СТ |
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
1994 |
Eiter T., Gottlib G., Mannila H. |
|
|
|
Lecture Notes in Computer Science |
30.03.1994 |
СТ |
The Complexity of Logic-Based Abduction |
1993 |
Eiter T., Gottlob G. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |