MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Recursion in Logics of Programs." – sorted by Relevance.

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

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

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

ATOM

Linearizing some recursive logic programs
by Irène Guessarian, Jean-eric Pin — 1995 — IEEE Transactions on Knowledge and Data Engineering
…Linearizing some recursive logic programs ∗ Irène Guessarian † and Jean-Eric Pin ‡ E…
Cited by 2 (0 self) – Add To MetaCart

Inductive Synthesis Of Recursive Logic Programs
by Engineering And Information, Serap Ylmaz, Serap Ylmaz — 1997
…INDUCTIVE SYNTHESIS OF RECURSIVE LOGIC PROGRAMS A THESIS SUBMITTED TO THE DEPARTMENT OF COMPUTER…
Add To MetaCart

The Pac-Learnability of Recursive Logic Programs
by William W. Cohen — 1994
…The Pac-Learnability of Recursive Logic Programs William W. Cohen AT&T Bell Laboratories 600…
Cited by 1 (1 self) – Add To MetaCart

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects
by Pierre Flener, Serap Yılmaz — 1999 — JOURNAL OF LOGIC PROGRAMMING
…Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects Pierre Flener Serap…
Cited by 25 (8 self) – Add To MetaCart

Pac-Learning Recursive Logic Programs: Efficient Algorithms
by William W. Cohen — 1995 — Journal of Artificial Intelligence Research
…-Learning Recursive Logic Programs: Efficient Algorithms William W. Cohen wcohen@(email omitted); AT&T Bell…
Cited by 31 (1 self) – Add To MetaCart

Pac-Learning a Restricted Class of Recursive Logic Programs
by William W. Cohen — 1993 — Proceedings of the Eleventh National Conference on Artificial Intelligence
…Pac-Learning a Restricted Class of Recursive Logic Programs William W. Cohen AT&T Bell…
Cited by 13 (0 self) – Add To MetaCart

SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs
by Håkan Millroth — 1994 — Journal of logic programming
…SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs Hakan Millroth Uppsala…
Cited by 7 (1 self) – Add To MetaCart

Pac-learning Recursive Logic Programs: Negative Results
by William W. Cohen — 1995 — Journal of Artificial Intelligence Research
…-learning Recursive Logic Programs: Negative Results William W. Cohen wcohen@(email omitted); AT&T Bell Laboratories…
Cited by 30 (0 self) – Add To MetaCart

Pac-Learning a Restricted Class of Recursive Logic Programs
by Olivera Marjanovic — 1993 — In: Proc. Tenth National Conference on Artificial Intelligence
…-oriented learning designs without any programming involved. To design this technology, the paper proposes a…
Cited by 1 (0 self) – Add To MetaCart

Lime: A System for Learning Relations
by Eric Mccreath, Arun Sharma — 1998 — In The 9th International Workshop on Algorithmic Learning Theory
… of the algorithms and data structures of Lime are discussed. Lime's handling of recursive logic programs is also…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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