See this document in CiteSeerX!

Skeleton-based Agent Development for Electronic  (Make Corrections)  
Institutions Wamberto W. Vasconcelos Division of Informatics University of...



  Home/Search   Context   Related

 
View or download:
iiia.csic.es/~sierra/art...skeletons.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iiia.csic.es/~sier...Publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper we describe work in progress concerning the (semi-)automatic support for developing agents. We focus on the scenario in which agents have to be designed to follow an electronic institution. An initial design pattern is automatically extracted from a given electronic institution and o ered to programmers willing to develop agents for the speci c purpose of joining and performing in the electronic institution. We resort to logic programming as our underlying computational... (Update)

Active bibliography (related documents):   More   All
0.8:   An Approach to Rapid Prototyping of Large Multi-Agent.. - Vasconcelos, Sierra, Esteva (2002)   (Correct)
0.7:   A Method of Extracting Prolog Programming Techniques - Vasconcelos (1994)   (Correct)
0.5:   Program Schemas as Steadfast Programs and their Usage in.. - Flener (1997)   (Correct)

Similar documents based on text:   More   All
0.8:   REGRET: A reputation model for gregarious societies - Jordi Sabater Csic (2001)   (Correct)
0.3:   A Lightweight Capability Communication Mechanism - Robertson, Agusti, Silva.. (2000)   (Correct)
0.3:   On the Insufficiency of Ontologies: Problems in.. - Silva..   (Correct)

BibTeX entry:   (Update)

@misc{ vasconcelos-skeletonbased,
  author = "Institutions Wamberto Vasconcelos",
  title = "Skeleton-based Agent Development for Electronic",
  url = "citeseer.ist.psu.edu/613360.html" }
Citations (may not include all citations):
3972   Introduction to Algorithms (context) - Cormen, Rivest - 1990
1911   Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
162   The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalski - 1976
130   From Logic Programming to Prolog (context) - Apt - 1997
129   Transformations of Logic Programs: Foundations and Technique.. (context) - Proietti, Pettorossi - 1994
112   The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1994
43   The SPIN Model Checker (context) - Holzmann - 1997
38   Applying Techniques to Skeletons - Sterling, Kirschenbaum - 1993
36   Schema-Based Transformations of Logic Programs - Fuchs, Fromherz - 1992
27   Agent-Mediated Auctions: The Fishmarket Metaphor (context) - Noriega - 1997
22   A Simple Prolog Techniques Editor for Novice Users - Robertson - 1991
21   Applying Prolog Programming Techniques - Bowles, Robertson et al. - 1994
18   Prolog Programming Techniques (context) - Brna, Bundy et al. - 1991
17   Logic Programming Environments: Dynamic Program Analysis and.. (context) - Ducass, Noy - 1994
17   An Opportunistic Approach for Logic Program Analysis and Opt.. - Vasconcelos, Fuchs - 1996
13   Skeletons and Techniques as a Normative Approach to Program .. - Kirschenbaum, Michaylov et al. - 1994
12   1993: The Wonder Years of Sequential Prolog Implementation (context) - Van Roy - 1994
12   Seven Layers of Knowledge Representation and Reasoning in Su.. (context) - Rich, Feldman - 1992
11   A Transformation System for Logic Programs which Preserves E.. (context) - Tamaki, Sato - 1983
10   Automatic Programming (context) - Biermann - 1992
4   Computer Engineering and Science Department (context) - Kirschenbaum, Lakhotia et al. - 1989
4   Meta-Programming in Logic Progamming (context) - Hill, Gallagher - 1998
4   Prolog Program Development via Enhanced Schema-Based Transfo.. - Vasconcelos, Fuchs - 1996
3   Towards a Formal Speci cation of Complex Social Structures i.. (context) - Rodr, Aguilar et al. - 1997
3   Knowledge-Based Programming: A Survey of Program Design and .. (context) - Goldberg - 1986
3   Logic Programming: Systematic Program Development (context) - Devilles - 1990
3   Program Development by Stepwise Re nement (context) - Wirth - 1971
2   A Practical Approach for Logic Program Analysis and Transfor.. - Vasconcelos, Meneses - 2000
2   Learning Prolog in a Schema-Based Environment (context) - Gegg-Harrison - 1991
1   Automatic Programming Systems (context) - Kautz, Voorhees et al. - 1958
1   the Design and Construction of Agent-mediated Electronic Ins.. (context) - Rodriguez - 2001

Documents on the same site (http://www.iiia.csic.es/~sierra/Publications.html):   More
Multiagent Bidding Mechanisms for Robot Qualitative.. - Sierra.. (2000)   (Correct)
Formalising Agent Mediated Electronic Institutions - Esteva.. (2000)   (Correct)
Agent-mediated Electronic Commerce: Scientific and Technological.. - Sierra (2001)   (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