MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Approximation logic." – sorted by Relevance.

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

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

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

ATOM

Regular Approximations of Logic Programs and Their Uses
by J. P. Gallagher, D. A. Waal, Bristol Bs Tr — 1992
…Regular Approximations of Logic Programs and Their Uses 1 J.P. Gallagher D.A. de Waal March 1992…
Cited by 9 (5 self) – Add To MetaCart

Constrained Regular Approximation of Logic Programs
by John Gallagher, Huseyin Saglam, Huseyin Saglam, John P. Gallagher — 1997 — In Logic Programming Synthesis and Transformation (Selected Papers
…Constrained Regular Approximation of Logic Programs Huseyin Saglam John Gallagher October 1997…
Cited by 5 (3 self) – Add To MetaCart

Fast and Precise Regular Approximation of Logic Programs
by J. P. Gallagher, D. A. Waal — 1993 — Proceedings of the Eleventh International Conference on Logic Programming
…Fast and Precise Regular Approximation of Logic Programs 1 J.P. Gallagher D.A. de Waal November…
Cited by 95 (21 self) – Add To MetaCart

A Finite Presentation Theorem for Approximating Logic Programs
by Nevin Heintze, Joxan Jaffar — 1990 — In Seventeenth Annual ACM Symposium on Principles of Programming Languages
…A Finite Presentation Theorem for Approximating Logic Programs Nevin Heintze y and Joxan Jaffar…
Cited by 89 (15 self) – Add To MetaCart

Linear Logical Approximations ∗
by Robert J. Simmons, Frank Pfenning
…Linear Logical Approximations ∗ Robert J. Simmons Frank Pfenning Carnegie Mellon University…
Cited by 1 (1 self) – Add To MetaCart

Logics for Approximate Reasoning:
by Approximating Classical Logic, Marcelo Finger, Renata Wassermann
…Logics for Approximate Reasoning: Approximating Classical Logic \From Above" Marcelo Finger…
Add To MetaCart

Approximate Inference in Default Logic and Circumscription
by Marco Cadoli, Marco Schaerf — 1992 — In Proc.4th Int'l Workshop on Nonmonotonic Reasoning
…Approximate Inference in Default Logic and Circumscription y Marco Cadoli, Marco Schaerf…
Cited by 7 (0 self) – Add To MetaCart

Logical Theories With Approximate Concepts
by John McCarthy — 1999
…LOGICAL THEORIES WITH APPROXIMATE CONCEPTS|draft John McCarthy Computer Science Department…
Cited by 1 (1 self) – Add To MetaCart

Regular Approximation of Computation Paths in Logic and Functional Languages
by John Gallagher, John Gallagher, Laura Lafave, Laura Lafave — 1996
…Regular Approximation of Computation Paths in Logic and Functional Languages John Gallagher and Laura Lafave Department…
Cited by 17 (6 self) – Add To MetaCart

Approximations in Model-Checking and Testing
by M. C. Gaudel, F. Magniez, R. Lassaigne, M. De Rougemont
…. Section 3 introduces two kinds of approximation notions and tools. First, from the Logic side, the notions…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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