MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Directions for Logic Programming." – sorted by Relevance.

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

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

42 documents found, showing 1 through 10. Next 10 →

ATOM

Directional Type Checking of Logic Programs
by Alexander Aiken, T. K. Lakshman — 1994 — In Proceedings of the 1st International Static Analysis Symposium
…Directional Type Checking of Logic Programs Alexander Aiken Computer Science Division University…
Cited by 39 (1 self) – Add To MetaCart

A framework of directionality for proving termination of logic programs
by Francois Bronsard, T. K. Lakshman, Uday S. Reddy — 1992 — Proceedings of the Joint International Conference and Symposium on Logic Programming
… A Framework of Directionality for Proving Termination of Logic Programs Francois Bronsard T…
Cited by 49 (1 self) – Add To MetaCart

Acceptability with General Orderings
by Danny De Schreye, Alexander Serebrenik, Er Serebrenik — 2002 — In Computational Logic: Logic Programming and Beyond
… approaches to logic program termination analysis, but we apply these orderings directly to the logic program…
Cited by 8 (7 self) – Add To MetaCart

The Logic Programming Paradigm
by J Urgen Dix, Jürgen Dix — 1998
… was -- to present current research directions in Logic Programming worldwide, -- to analyse future research…
Cited by 3 (2 self) – Add To MetaCart

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
by Alexander Serebrenik, Er Serebrenik, Danny De Schreye — 2001
… of understanding and reasoning about the termination behaviour of the logic program, the direct approach may…
Cited by 5 (5 self) – Add To MetaCart

aus
by Peter Schneider-kamp, Von Der Fakultät Für Mathematik, Informatik Und, Prof Dr, Jürgen Giesl, Prof Michael Codish
… directly on logic programs to transformations from logic programs to a specialized version of term…
Add To MetaCart

Let-Polymorphism and Eager Type Schemes
by Chuck Liang — 1997 — In TAPSOFT '97: Theory and Practice of Software Development
… directly as logic programming, however, requires a forward-chaining operation which is inconsistent…
Cited by 6 (3 self) – Add To MetaCart

Let-Polymorphism and Eager Type Schemes
by Chuck Liang Department, Chuck Liang — 1997 — In TAPSOFT '97: Theory and Practice of Software Development
… directly as logic programming, however, requires a forward-chaining operation which is inconsistent…
Add To MetaCart

Logic For Problem Solving
by Damerau Mentions That, Aravind K. Joshi, S. Jerrold Kaplan, Robert Kowalski
…, making it easi- er to verify its correctness and also easier to under- stand directly. Logic programming…
Add To MetaCart

Termination Analysis of Logic Programs Using Acceptability with General Term Orders
by Alexander Serebrenik, Alexander Serebrenik, Er Serebrenik, Danny De Schreye, Danny De Schreye, Danny De Schreye — 2000
… these orderings directly to the logic program and not to the term-rewrite system obtained through some…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB