Jean-Marc Andreoli, Remo Pareschi  Home/Search
Context Related
Links: ACM | 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 Problem Downloading? From: xerox.com/people/andreoli/...home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the declarative reading of programs. From the latter, we select two crucial notions: (i) the ability for objects to dynamically change their internal state during the computation; (ii) the structured representation of knowledge, generally obtained via inheritance graphs among classes of objects. We start with the approach, introduced... (Update)
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (1997) (Correct)
Similar documents (at the sentence level):
79.0%: Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
Active bibliography (related documents): More All
0.5: LO and Behold! Concurrent Structured Processes - Andreoli, Pareschi (1990) (Correct)
0.3: Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (Correct)
0.3: Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (Correct)
Similar documents based on text: More All
0.3: Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (Correct)
0.2: Interaction Abstract Machines - Andreoli, al. (1993) (Correct)
0.1: Constraints and Agents for a Decentralized Network.. - Andreoli, Borghoff, al. (1997) (Correct)
Related documents from co-citation: More All
51: Theoretical Computer Science (context) - Girard - 1987
45: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
35: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
BibTeX entry: (Update)
Andreoli J.-M. and Pareschi R., `Linear Objects: Logical Processes with Built-in Inheritance', Proc. ICLP'90, Jerusalem, Israel, June 18-20, MIT Press, pp 495-510. http://citeseer.ist.psu.edu/465539.html More
@inproceedings{ m90linear,
author = "Andreoli, J.-M. and R. Pareschi",
title = "Linear Objects: Logical Processes with Built-In Inheritance",
booktitle = "Proc. 7th International Conference on Logic Programming, Jerusalem",
month = "May",
year = "1990",
url = "citeseer.ist.psu.edu/465539.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
119 LOGIN: a logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986 ACM DBLP
72 Logic for Computer Science (context) - Gallier - 1986 ACM
63 Parallel Logic Programming in Parlog (context) - Gregory - 1987 ACM
61 Object oriented programming in concurrent prolog (context) - Shapiro, Takeuchi - 1983 ACM DBLP
58 Contextual logic programming (context) - Monteiro, Porto - 1989 DBLP
57 A subset of concurrent prolog and its interpreter (context) - Shapiro - 1983 ACM
53 Lexical scoping as universal quantification - Miller - 1989 DBLP
39 logic for complex objects (context) - Chen, Warren - 1989
32 Object oriented programming in prolog (context) - Zaniolo - 1984
30 Logic programming with sequent systems: a linear logic appro.. (context) - Andreoli, Pareschi - 1990
27 POLKA: a parlog object oriented language (context) - Davison - 1988
25 Near-horn prolog (context) - Loveland - 1987 ACM DBLP
24 VULCAN: logical concurrent objects (context) - Kahn, Tribble et al. - 1986 ACM DBLP
24 Logical objects (context) - Conery - 1988 DBLP
20 Representing objects in a logic programming language with sc.. - Hodas, Miller - 1990 ACM
14 Merging objects and logic programming: Relational semantics (context) - Gallaire - 1986 DBLP
6 Local definitions with static scope rules in logic programmi.. (context) - Giordano, Martelli et al. - 1988 DBLP
5 generics for logic programming (context) - Goguen, Meseguer et al. - 1984
4 Dept of Information Engineering (context) - Ueda, Clauses - 1986
3 Technical report (context) - Meier, Dufresne et al. - 1988
2 A logical analysis of modules in logic (context) - Miller - 1989
2 Non-horn clause programming without contrapositives (context) - Plaisted - 1988
2 a stream based concurrent object-oriented language (context) - Yoshida, Chikayama - 1988
1 Logic programming as constructivism: a formalisation and its.. (context) - Bry - 1989
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 (1991) (Correct)
Communication as Fair Distribution of Knowledge - 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