MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "OLD Resolution with Tabulation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Tabulation of Functions in Definite Clause Programs
by Jonas Barklund — 1994 — Proc. of the Sixth International Symposium on Programming Language Implementation and Logic Programming
… to maintain enough information to identify sub-paths. Adding tabulation to OLD resolution is conceptually…
Cited by 2 (0 self) – Add To MetaCart

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
…. Tamaki and T. Sato. OLD resolution with tabulation. In Intl. Conference on Logic Programming, pages 84…
Cited by 190 (26 self) – Add To MetaCart

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
by Jürgen Dix, Ross A. Overbeek, Proceedings Of The North — 1994
… Resolution with Tabulation. In Proceedings of the Third International Conference on Logic Programming, London…
Cited by 71 (13 self) – Add To MetaCart

A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution
by Ping Yang, C. R. Ramakrishnan, Scott A. Smolka — 2004 — In Proceedings of VMCAI, 2003. Extended version in Software Tools for Technology Transfer
… [38] augments OLD resolution with memo tables (hence its name: OLD resolution with Tabulation…
Cited by 5 (2 self) – Add To MetaCart

Fourth International Workshop on Termination WST '99
by Dagstuhl Germany, Nachum Dershowitz (urbana, Hans Zantema — 1999
…. Number 446 in LNAI. Springer-Verlag, 1990. [12] H. Tamaki and T. Sato. OLD Resolution with Tabulation…
Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
…: OLD resolution with tabulation. In E. Shapiro (ed.), Proc. Third Int. Conf. on Logic Programming…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB