Paolo Avesani, Anna Perini, Francesco Ricci  Home/Search
Context Related
| mnemosyne.itc.it:1024/r...OOParis.ps.Z mnemosyne.itc.it:1024/~ave...tools90.ps krr.irst.itc.it:1024/ri...OOParis.ps.Z 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: mnemosyne.itc.i...ncepaperslist (more) From: krr.irst.itc.it...ncepaperslist Homepages: A.Perini F.Ricci |
Rate this article:      (best)Comment on this article |
Abstract: A constraints language, built on the top of an object system is described. Constraints are arranged in a hierarchy and they represent prototypes of constraint-arcs, which are defined intensionally by an assertional language. Preprocessing techniques are exploited and a variety of algorithms are used to find solutions both inferred and allowed by the constraint-arcs. The "Eight Queens" problem is used in the paper as example. (Update)
Context of citations to this paper: More
.... such as PHS (G; p; ffl) All the computations here reported have been performed using the object oriented language COOL [ Avesani et al. 1990 ] which was expressly developed to face CSP. We shall deal again with the previously mentioned 8 Queens problem. According to the...
.... event handling [37] 35] one way constraints [15] 40] multi way constraints [4] 22] or predefined constraints on primitive objects [1][18] 20] Constraints, being primarily declarative, free the programmer from the arduous task of maintaining relationships by hand of...
Cited by: More
The Framework Approach for Constraint Satisfaction - Roy, Liret, Pachet (1998) (Correct)
Vb2 An Architecture For Interaction In Synthetic Worlds - Gobbetti, Balaguer, Thalmann (1993) (Correct)
Yet Another Object-Oriented Constraint Resolution System: An Open .. - Kökény (1994) (Correct)
Active bibliography (related documents): More All
0.3: SILO: Integrating Logic in Objects for Knowledge.. - Hatzilygeroudis (1996) (Correct)
0.2: Integration of Heterogeneous Languages in the VITAL Project.. - Motta, Stutt (1991) (Correct)
0.2: The Role of Databases in Knowledge-Based Systems - Fox, McDermott (1986) (Correct)
Similar documents based on text: More All
0.5: CBET: a Case Base Exploration Tool - Avesani, Perini, Ricci (1997) (Correct)
0.3: The Twofold Integration of CBR in Decision Support Systems - Avesani, Perini, Ricci (1998) (Correct)
0.3: Combining CBR and Constraint Reasoning in Planning Forest .. - Avesani, Perini, Ricci (1993) (Correct)
Related documents from co-citation: More All
7: Consistency in networks of relations (context) - Mackworth - 1977
4: Constraint Satisfaction with an Object-Oriented Knowledge Representation Languag.. - Caseau - 1994
4: Integrating constraints with an object oriented language (context) - Freeman-Benson, Borning - 1992
BibTeX entry: (Update)
Avesani, P. Perini, A. Ricci, F. (1990) COOL: An Object System with Constraints. http://citeseer.ist.psu.edu/avesani90cool.html More
@inproceedings{ avesani90:cool:inp,
author={Paolo Avesani, Anna Perini, Francesco Ricci},
title={COOL: An Object System with Constraints},
abstract={An Object System with Constraints. In Proceedings of the Second International
Conference [TOOLS 90], Paris, June 1990 pp. 221-228 , 1990.},
booktitle={Proceedings of Technology of Object-Oriented Languages and Systems (TOOLS-90)},
year={1990},
editor={Jean Bezivin, Bertrand Meyer, and Jean-Marc Nerson},
pages={221--228},
url={citeseer.ist.psu.edu/avesani90cool.html},
url={http://ectrl.itc.it/home/home_people/ricci/papers/OO-Paris.ps},
annote={A shorter version was presented at AAAI-90 workshop: Object Oriented programming
in AI} }
Citations (may not include all citations):702 Consistency in network of relations (context) - Mackworth - 1977
492 Smalltalk-80: the language and its implementation (context) - Goldberg, Robson - 1983
340 Temporal constraint networks (context) - Dechter, Meiri et al. - 1989 ACM DBLP
307 Networks of constraints: fundamental properties and applicat.. (context) - Montanari - 1974
267 Network-based heuristics for constraints-satisfaction proble.. (context) - Dechter, Pearl - 1987
185 A sufficient condition of backtrack-free search (context) - Freuder - 1982
155 Forward reasoning and dependency directed backtracking in a .. (context) - Stallman, Sussman - 1977
94 Object-oriented programming with flavors (context) - Moon - 1986 ACM DBLP
79 Object-Oriented Programming in Common Lisp (context) - Keene - 1989
74 The role of frame-based representation in reasoning (context) - Fikes, Kehler - 1985 ACM DBLP
71 KRYPTON: a functional approach to knowledge representation (context) - Brachman, Fikes et al. - 1983 DBLP
62 Constraint hierarchies - Borning, Duisberg et al. - 1987 ACM DBLP
55 Constraints: a language for expressing almost-hierarchical d.. (context) - Sussman, Steele - 1980
26 I lied about the trees (context) - Brachman - 1985
14 Backtracking programming techniques (context) - Bitner, Reingold - 1975
7 Exact solution in linear time of network of constraints usin.. (context) - Montanari, Rossi - 1989
4 Integrating logic programs and schemata (context) - Allen, Wright - 1983 DBLP
1 Problem solving with an assumption-based truth maintenance s.. (context) - de Kleer - 1986
1 Scheduling con vincoli in un ambiente multicontesto (context) - Ricci, Perini - 1989
1 Constraint networks (context) - Ricci - 1989
1 A hybrid structured object and constraint representation lan.. (context) - Harris - 1986 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mnemosyne.itc.it:1024/ricci/conference-papers-list.html): More
Incremental Algorithms for Managing Temporal Constraints - Gerevini, Perini, Ricci (1996) (Correct)
An Interactive Planning Architecture - The Forest Fire Fighting .. - Perini, Ricci (1995) (Correct)
Exact Learning and Data Compression with a Local.. - Ricci, Avesani (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