|
СТ |
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs |
1998 |
Sagonas K., Swift T. |
|
|
|
ACM Trans. on Programming Languages and Systems |
05.11.1998 |
|
СТ |
An Abstract Machine for Computing the Well-Founded Semantics |
1996 |
Sagonas K., Swift T., Warren D. S. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Efficient Tabling Mechanisms for Logic Program |
1995 |
Ramakrishnan I. V., Rao P., Sagonas K., Swift T., Warren D. S. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Analysis of SLG-WAM Evaluation of Definite Programs |
1994 |
Swift T., Warren D. S. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
|
СТ |
Exploiting Parallelism in Tabled Evaluations |
1995 |
Freire J., Hu R., Swift T., Warren D. S. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
XSB as an Efficient Deductive Database Engine |
1994 |
Sagonas K., Swift T., Warren D. S. |
|
|
|
SIGMOD Record |
30.08.1994 |
