Jean-Marc Andreoli  Home/Search
Context Related
| xerox.com/people/andreoli/...dist.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: xerox.com/people/andreoli/...home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The deep symmetry of Linear Logic [18] makes it suitable for providing abstract models of computation, free from implementation details which are, by nature, oriented and non symmetrical. I propose here one such model, in the area of Logic Programming, where the basic computational principle is Computation = Proof search. (Update)
Cited by: More
A Modal Analysis of Staged Computation - Rowan Davies And (Correct)
Ordered Linear Logic Programming - Jeff Polakow And (Correct)
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
Active bibliography (related documents): More All
0.7: Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (Correct)
0.7: Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
0.7: True Concurrency Semantics for a Linear Logic.. - Andreoli, Leth.. (1993) (Correct)
Similar documents based on text: More All
0.4: Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
0.2: Canonical Proofs for Linear Logic Programming Frameworks - Galmiche (1994) (Correct)
0.2: Non-commutative logic III: focusing proofs - Maieli, Ruet (2000) (Correct)
Related documents from co-citation: More All
63: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
60: Theoretical Computer Science (context) - Girard - 1987
49: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
BibTeX entry: (Update)
Andreoli, J.-M.: "Logic programming with focusing proofs in linear logic", Journal of Logic and Computation, 2 (1992), 297--347. http://citeseer.ist.psu.edu/andreoli92logic.html More
@article{ andreoli92logic,
author = "Andreoli, J. M.",
title = "Logic programming with focusing proofs in linear logic",
journal = "Journal of Logic and Computation",
volume = "2",
number = "3",
pages = "297--347",
year = "1992",
url = "citeseer.ist.psu.edu/andreoli92logic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
268 Proofs and Types (context) - Girard, Lafont et al. - 1989
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
233 Computational interpretations of linear logic - Abramsky - 1993
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
159 The chemical abstract machine (context) - Berry, Boudol - 1990
109 Interaction nets (context) - Lafont - 1990
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
72 Logic for Computer Science (context) - Gallier - 1986
66 ACM Transactions on Programming Languages and Systems (context) - Clark, Gregory et al. - 1986
61 Object oriented programming in concurrent prolog (context) - Shapiro, Takeuchi - 1983
58 Blackboard systems (context) - Nii - 1989
58 Contextual logic programming (context) - Monteiro, Porto - 1989
45 Actors: a conceptual foundation for concurrent object-orient.. (context) - Agha, Hewitt - 1987
40 Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991
38 A parallel machine for multiset transformation and its progr.. (context) - Banatre, Coutant et al. - 1988
33 From petri-nets to linear logic (context) - Marti-Olliet, Meseguer - 1991
33 Using tuple space communication in distributed object orient.. (context) - Matsuoka, Kawai - 1988
30 Logic programming with sequent systems: a linear logic appro.. (context) - Andreoli, Pareschi - 1990
24 Logical objects (context) - Conery - 1988
17 concurrent structured processes (context) - Andreoli, Pareschi et al. - 1990
15 Relating petri nets to formulae of linear logic (context) - Brown - 1989
9 Programming in Parlog (context) - Conlon - 1989
7 Dynamic programming as multi-agent programming (context) - Andreoli, Pareschi et al. - 1991
4 Dept of Information Engineering (context) - Ueda, Clauses - 1986
4 ese des paradigmes de la programmation logique et de la prog.. (context) - Andreoli, une - 1990
2 Universit'e de Paris (context) - Girard, unity et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.rxrc.xerox.com/people/andreoli/publications/home.html): More
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC