-
1
-
-
84976736962
-
An amateur's introduction to recursive query processing strategies
-
May 28-30
-
BANCILHON, F., AND RAMAKRISHNAN, R. An amateur's introduction to recursive query processing strategies. Proc. of ACM SIGMOD '86 (May 28-30, 1986), 16-52.
-
(1986)
Proc. of ACM SIGMOD '86
, pp. 16-52
-
-
Bancilhon, F.1
Ramakrishnan, R.2
-
2
-
-
0031999231
-
Tabulated resolution for the well-founded semantics
-
Feb.
-
BOL, R. N., AND DEGERSTEDT, L. Tabulated resolution for the well-founded semantics. Journal of Logic Programming 34, 2 (Feb. 1998), 67-109.
-
(1998)
Journal of Logic Programming
, vol.34
, Issue.2
, pp. 67-109
-
-
Bol, R.N.1
Degerstedt, L.2
-
3
-
-
0029695436
-
Tabled evaluation with delaying for general logic programs
-
Jan.
-
CHEN, W., AND WARREN, D. S. Tabled evaluation with delaying for general logic programs. Journal of the ACM 43, 1 (Jan. 1996), 20-74.
-
(1996)
Journal of the ACM
, vol.43
, Issue.1
, pp. 20-74
-
-
Chen, W.1
Warren, D.S.2
-
4
-
-
84947770327
-
CAT: The copying approach to tabling
-
DEMOEN, B., AND SAGONAS, K. CAT: The copying approach to tabling. LNCS (PLILP) 1490 (1998), 21-35.
-
(1998)
LNCS (PLILP)
, vol.1490
, pp. 21-35
-
-
Demoen, B.1
Sagonas, K.2
-
5
-
-
84867447464
-
CHAT: The copy-hybrid approach to tabling
-
DEMOEN, B., AND SAGONAS, K. CHAT: The copy-hybrid approach to tabling. LNCS (PADL) 1551 (1999), 106-121.
-
(1999)
LNCS (PADL)
, vol.1551
, pp. 106-121
-
-
Demoen, B.1
Sagonas, K.2
-
6
-
-
84957716924
-
Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies
-
FREIRE, J., SWIFT, T., AND WARREN, D. S. Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. LNCS (PLILP) 1140 (1996), 243-257.
-
(1996)
LNCS (PLILP)
, vol.1140
, pp. 243-257
-
-
Freire, J.1
Swift, T.2
Warren, D.S.3
-
7
-
-
84937210915
-
A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives
-
GUO, H.-F., AND GUPTA, G. A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. LNCS (ICLP) 2237 (2001), 181-195.
-
(2001)
LNCS (ICLP)
, vol.2237
, pp. 181-195
-
-
Guo, H.-F.1
Gupta, G.2
-
9
-
-
0002444193
-
"memo" functions and machine learning
-
Apr.
-
MICHIE, D. "memo" functions and machine learning. Nature (Apr. 1968), 19-22.
-
(1968)
Nature
, pp. 19-22
-
-
Michie, D.1
-
10
-
-
0024859376
-
Every logic program has a natural stratification and an iterated least fixed point model
-
ACM, Ed., ACM Press
-
PRZYMUSINSKI, T. C. Every logic program has a natural stratification and an iterated least fixed point model. In PODS '89. Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, PA (1989), ACM, Ed., ACM Press, pp. 11-21.
-
(1989)
PODS '89. Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, PA
, pp. 11-21
-
-
Przymusinski, T.C.1
-
11
-
-
1242331070
-
Model checking with tabled logic programming
-
ALP
-
RAMAKRISHNAN, C. Model checking with tabled logic programming. In ALP News Letter (2002), ALP.
-
(2002)
ALP News Letter
-
-
Ramakrishnan, C.1
-
12
-
-
23044528655
-
On a tabling engine that can exploit or-parallelism
-
ROCHA, R., SILVA, F., AND COSTA, V. S. On a tabling engine that can exploit or-parallelism. LNCS (ICLP) 2237 (2001), 43-58.
-
(2001)
LNCS (ICLP)
, vol.2237
, pp. 43-58
-
-
Rocha, R.1
Silva, F.2
Costa, V.S.3
-
13
-
-
0032058020
-
An abstract machine for tabled execution of fixed-order stratified logic programs
-
1 May
-
SAGONAS, K., AND SWIFT, T. An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Transactions on Programming Languages and Systems 20, 3 (1 May 1998), 586-634.
-
(1998)
ACM Transactions on Programming Languages and Systems
, vol.20
, Issue.3
, pp. 586-634
-
-
Sagonas, K.1
Swift, T.2
-
14
-
-
0003287254
-
Linear tabulated resolution based on Prolog control strategy
-
Feb.
-
SHEN, Y., YUAN, L., You, J., AND ZHOU, N. Linear tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming (TPLP) 1, 1 (Feb. 2001), 71-103.
-
(2001)
Theory and Practice of Logic Programming (TPLP)
, vol.1
, Issue.1
, pp. 71-103
-
-
Shen, Y.1
Yuan, L.2
You, J.3
Zhou, N.4
-
15
-
-
85034427623
-
OLD resolution with tabulation
-
London, E. Shapiro, Ed., Lecture Notes in Computer Science, Springer-Verlag
-
TAMAKI, H., AND SATO, T. OLD resolution with tabulation. In Proceedings of the Third International Conference on Logic Programming (London, 1986), E. Shapiro, Ed., Lecture Notes in Computer Science, Springer-Verlag, pp. 84-98.
-
(1986)
Proceedings of the Third International Conference on Logic Programming
, pp. 84-98
-
-
Tamaki, H.1
Sato, T.2
-
17
-
-
1242331068
-
ATR integrated speech and language database
-
ATR Interpreting Telecommunications Research Laboratories. In Japanese
-
URATANI, N., TAKEZAWA, T., MATSUO, H., AND MORITA, C. ATR integrated speech and language database. Technical Report TR-IT-0056, ATR Interpreting Telecommunications Research Laboratories, 1994. In Japanese.
-
(1994)
Technical Report
, vol.TR-IT-0056
-
-
Uratani, N.1
Takezawa, T.2
Matsuo, H.3
Morita, C.4
-
20
-
-
0030284443
-
Parameter passing and control stack management in Prolog implementation revisited
-
Nov.
-
ZHOU, N.-F. Parameter passing and control stack management in Prolog implementation revisited. ACM. Transactions on Programming Languages and Systems 18, 6 (Nov. 1996), 752-779.
-
(1996)
ACM. Transactions on Programming Languages and Systems
, vol.18
, Issue.6
, pp. 752-779
-
-
Zhou, N.-F.1
-
21
-
-
84958979458
-
Implementation of a linear tabling mechanism
-
ZHOU, N.-F., SHEN, Y.-D., YUAN, L.-Y., AND You, J.-H. Implementation of a linear tabling mechanism. LNCS (PAUL) 1753 (2000), 109-123.
-
(2000)
LNCS (PAUL)
, vol.1753
, pp. 109-123
-
-
Zhou, N.-F.1
Shen, Y.-D.2
Yuan, L.-Y.3
You, J.-H.4
|