Find link

language:

Find link is a tool written by Edward Betts.

searching for International Conference on Logic Programming 22 found (30 total)

alternate case: international Conference on Logic Programming

Logic for Programming, Artificial Intelligence and Reasoning (243 words) [view diff] exact match in snippet view article find links to article

board the ship "Michail Lomonosov" Jul 15-20 1992 3rd International Conference on Logic Programming and Automated Reasoning LPAR St.Petersburg, Russia,

Flora-2 (786 words) [view diff] exact match in snippet view article find links to article

and M. Kifer (1993), Transaction Logic Programming, International Conference on Logic Programming (ICLP), 1993. H. Wan , B. Grosof , M. Kifer , P. Fodor

Alessandra Russo (330 words) [view diff] exact match in snippet view article find links to article

awarded the prize for the best application paper at the International Conference on Logic Programming (ICLP) in 2002 and the Imperial College Rector's Award

KL0 (79 words) [view diff] exact match in snippet view article find links to article

programming in the Fifth Generation Computer Project". Third International Conference on Logic Programming. Lecture Notes in Computer Science. Vol. 225. Springer

Transaction logic (728 words) [view diff] exact match in snippet view article find links to article

and M. Kifer (1993), Transaction Logic Programming, International Conference on Logic Programming (ICLP), 1993. A.J. Bonner and M. Kifer (1994), An Overview

Gecode (422 words) [view diff] exact match in snippet view article find links to article

Cipriano, Agostino Dovier, Jacopo Mauro. Conference: International Conference on Logic Programming/Joint International Conference and Symposium on Logic

Logtalk (755 words) [view diff] exact match in snippet view article find links to article

(Invited Talk). Paulo Moura. Proceedings of the 25th International Conference on Logic Programming (ICLP), July 2009. LNCS 5649. Springer-Verlag Berlin

Sebastian Schaffert (3,482 words) [view diff] exact match in snippet view article find links to article

and Semistructured Data: Simulation Unification. In: International Conference on Logic Programming (ICLP02), Copenhagen, Denmark, July/August 2002. Steger

Interval contractor (930 words) [view diff] case mismatch in snippet view article find links to article

Granvilliers, L.; Puget, J.F. (1999). Revising hull and box consistency (PDF). In Proceedings of the 1999 international conference on Logic programming.

Bogosort (1,891 words) [view diff] exact match in snippet view article find links to article

quantifiers in NU-Prolog", Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science, vol. 225, Springer-Verlag

Prolog (8,098 words) [view diff] exact match in snippet view article find links to article

Representing Logic Program Schemata in Prolog. Procs Twelfth International Conference on Logic Programming. pp. 467–481. Deville, Yves (1990). Logic programming:

Answer set programming (2,839 words) [view diff] exact match in snippet view article find links to article

(ed.). Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming. MIT Press. pp. 233–247. ISBN 978-0-262-69177-2. as

Mark S. Miller (776 words) [view diff] exact match in snippet view article find links to article

Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy International Conference on Logic Programming (1987), pp. 704–728 Objects in Concurrent Logic Programming

Gopal Gupta (computer scientist) (1,008 words) [view diff] exact match in snippet view article

Conferences on Web Services 2005 10-year Test-of-Time Award. International Conference on Logic Programming 2016 "Gupta, Gopal - Department of Computer Science

Size-change termination principle (640 words) [view diff] exact match in snippet view article find links to article

Analysis of Prolog Programs. Proceedings of the Fourteenth International Conference on Logic Programming. MIT Press, 1997. Heizmann, Matthias; Jones, Neil D

Rewriting (4,422 words) [view diff] exact match in snippet view article find links to article

Rewriting Systems". In Voronkov, Andrei (ed.). Proc. International Conference on Logic Programming and Automated Reasoning (LPAR). LNAI. Vol. 624. Springer

Situation calculus (3,722 words) [view diff] exact match in snippet view article find links to article

Apt and M. Bezem (1990). Acyclic Programs. In: 7th International Conference on Logic Programming. MIT Press. Jerusalem, Israel. R. Reiter (1991). The

Probabilistic logic programming (1,199 words) [view diff] exact match in snippet view article find links to article

with Distribution Semantics", Proceedings of the 12th International Conference on Logic Programming, The MIT Press, pp. 715–730, doi:10.7551/mitpress/4298

Logic programming (10,767 words) [view diff] exact match in snippet view article find links to article

G., 1986, July. Higher-order logic programming. In International Conference on Logic Programming (pp. 448-462). Berlin, Heidelberg: Springer Berlin Heidelberg

Curry–Howard correspondence (6,375 words) [view diff] exact match in snippet view article find links to article

algorithmic interpretation of classical natural deduction", International Conference on Logic Programming and Automated Reasoning: LPAR '92 Proceedings, St. Petersburg

Stable model semantics (4,921 words) [view diff] exact match in snippet view article find links to article

semantics for logic programming". Proceedings of the Fifth International Conference on Logic Programming (ICLP). MIT Press. pp. 1070–80. ISBN 978-0-262-61054-4

Narrowing of algebraic value sets (7,870 words) [view diff] exact match in snippet view article find links to article

Narrowing in Combined Algebraic Domains". Proc. 11th International Conference on Logic Programming. The MIT press. pp. 617–31. Arenas, Puri; Artalejo,