Institutions Wamberto W. Vasconcelos Division of Informatics University of...  Home/Search
Context
Related
| iiia.csic.es/~sierra/art...skeletons.ps 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: iiia.csic.es/~sier...Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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