Andrea Omicini, Antonio Natali  Home/Search
Context Related
| lia.deis.unibo.it/Staff/And...ecoop.pdf 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: lia.deis.unibo....nioNatali.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When interpreted as a model for structuring programs and organizing computations, the object-oriented paradigm can be thought as a set of abstractions independent of the host language. By generalizing the notion of object state configuration with respect to that embedded in languages based on assignment, this paper explores a relational approach to object-oriented programming. An object-oriented model based on the notion of object as structured logic theory, is introduced, allowing instance... (Update)
Context of citations to this paper: More
.... One of the most common approaches to combining object oriented and deductive languages is the object as theory approach [14, 26, 28, 29], where an object is represented as a set of formulas. These sets of formulas are to be independently queried, so providing the...
.... to support integration between the logic and the object oriented models, provided that a few flexible, powerful extensions are introduced [9,10]. Theory composition can take place in a uniform way both statically and dinamically. In the first case, classic modular programming...
Cited by: More
Engineering Multi-Agent Systems in LuCe - Denti, Omicini (1999) (Correct)
Information Models for Management: An Object-Oriented.. - Barruffi, Bartolini (1998) (Correct)
Agent Coordination and Control through Logic Theories - Omicini, Denti, Natali (1995) (Correct)
Active bibliography (related documents): More All
0.3: Implementing Contexts in Logic Programming - Denti, Lamma, Mello, Natali.. (1992) (Correct)
0.3: Contexts As First-Class Objects: An Implementation Based.. - Denti, Natali, Omicini (1992) (Correct)
0.2: Exploiting Logic Programming in Robot Applications - Natali, Omicini, Zanichelli (1993) (Correct)
Similar documents based on text: More All
0.4: Parametric Polymorphism in Java through the Homogeneous.. - Viroli, Natali (2000) (Correct)
0.3: On Observation as a Coordination Paradigm: An Ontology and .. - Viroli, Moro, Omicini (2001) (Correct)
0.3: Merging Logic Programming into Web-based technology: a.. - Denti, Natali, Omicini (1997) (Correct)
Related documents from co-citation: More All
3: Robot Control Systems as Contextual Logic Programs (context) - Denti, Natali et al. - 1995
3: Distributed Programming with Logic Tuple Spaces - Ciancarini - 1994
2: ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
BibTeX entry: (Update)
Natali A., Omicini A.: "Object-Oriented Computations in Logic Programming", ECOOP'94, Bologna, July 1994. http://citeseer.ist.psu.edu/omicini94objectoriented.html More
@article{ omicini94objectoriented,
author = "Andrea Omicini and Antonio Natali",
title = "Object-Oriented Computations in Logic Programming",
journal = "Lecture Notes in Computer Science",
volume = "821",
pages = "194+",
year = "1994",
url = "citeseer.ist.psu.edu/omicini94objectoriented.html" }
Citations (may not include all citations):17 Concurrent Structured Processes (context) - Andreoli, Pareschi et al. - 1991
4 Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo (context) - Brogi, Lamma et al. - 1990
3 A Prolog Object-Oriented System: an Exercise in Contextual L.. (context) - Ruggieri, Bugliesi - 1991
1 Nasr: LOGIN: A Logic Programming Language with Built-in Inhe.. (context) - At-Kaci - 1986
1 Mello: Objects in a Logic Programming Framework (context) - Brogi, Lamma - 1992
1 Porto: Contextual Logic Programming (context) - Monteiro - 1989
1 University of Bologna (context) - Omicini, Object-Oriented et al.
1 London: Prentice Hall International (context) - McCabe, Objects - 1992
1 Omicini: Moving Prolog Toward Objects (context) - Denti, Natali - 1994
1 Takeuchi: Object Oriented Programming in Concurrent Prolog (context) - Shapiro - 1983
1 Toni: Abductive Logic Programming (context) - Kakas, Kowalski - 1992
1 Wolf: Constraint Hierarchies (context) - Borning, Duisburg et al. - 1987
1 Mahrer: Constraint Logic Programming: A Survey (context) - Jaffar
1 Constraints and Imperative Programming (context) - Freeman-Benson, Mixing - 1990
1 Omicini: Objects with State in Contextual Logic Programming (context) - Natali
1 IEEE Computer (context) - Wegner, Object-Oriented - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lia.deis.unibo.it/Staff/AndreaOmicini/Papers/coauthor/AntonioNatali.shtml):
Objects with State in CSM - Antonio Naali Andrea (1993) (Correct)
Exploiting Logic Programming in Robot Applications - Natali, Omicini, Zanichelli (1993) (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