Access the full text.
Sign up today, get DeepDyve free for 14 days.
W. Hasselbring (2000)
Programming languages and systems for prototyping concurrent applicationsACM Comput. Surv., 32
(2002)
Artificial Intelligence Research Institute (IIIA)
M. Esteva, J.-A. Rodríguez-Aguilar, C. Sierra, P. Garcia, J.L. Arcos (2001)
Agent Mediated E-Commerce
M. Esteva, J. Rodríguez-Aguilar, C. Sierra, Pere Garcia, J. Arcos, F. Dignum (2001)
On the formal specification of electronic institutions, 1991
James Peterson (1977)
Petri NetsACM Comput. Surv., 9
J. Hopcroft, J. Ullman (1979)
Introduction to Automata Theory, Languages and Computation
I. Bratko (2000)
Prolog (3rd ed.): programming for artificial intelligence
M. Martelli, V. Mascardi, F. Zini (1992)
Proc. of APPIA-GULP-PRODE
L. Sterling, E. Shapiro (1986)
The Art of Prolog - Advanced Programming Techniques, 2nd Ed
Norbert Fuchs (1992)
Specifications are (preferably) executableSoftw. Eng. J., 7
L. Sterling, R. Beer (1989)
Metainterpreters for Expert System ConstructionJ. Log. Program., 6
N. Wirth (1971)
Program development by stepwise refinementCommun. ACM, 26
W. Vasconcelos, D. Robertson, J. Agustí-Cullell, C. Sierra, M. Wooldridge, S. Parsons, Chris Walton, J. Sabater-Mir (2001)
A Lifecycle for Models of Large Multi-agent Systems
Anthony Chavez, P. Maes (1996)
Kasbah: An Agent Marketplace for Buying and Selling Goods
M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, F. Zini (1999)
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
J. Müller, M. Wooldridge, N. Jennings (1997)
Intelligent Agents III
J. Andersson, Stefan Andersson, Kent Boortz, M. Carlsson, Hans Nilsson, Thomas Sjöland, Johan Widén (1993)
SICStus Prolog User''s Manual
Haiping Xu, S. Shatz (2003)
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent SystemsAutomated Software Engineering, 10
Chuck Musciano, Bill Kennedy (1996)
HTML: The Definitive Guide
D. Robertson (1991)
A Simple Prolog Techniques Editor for Novice Users
Rapid prototyping of large MASs through logic programming
W. Vasconcelos (2003)
Logic-Based Electronic Institutions
(1996)
Towards a virtual marketplace: Architecture and strategies
W.W. Vasconcelos (2003)
Proc. 2nd Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2003), Melbourne, Australia
M. Emden, R. Kowalski (1976)
The Semantics of Predicate Logic as a Programming LanguageJ. ACM, 23
P. Flener, K. Lau, W. Bibel (2000)
Special Issue on SchemasJournal of Symbolic Computation, 30
Luqi (1992)
Computer aided system prototyping[1992 Proceedings] The Third International Workshop on Rapid System Prototyping
守屋 悦朗 (1980)
J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979, 21
W. Kautz, E. Voorhees, T. Jeeves (1958)
Automatic programming systemsCommunications of The ACM, 1
Pablo Noriega (1997)
Agent-mediated auctions: the fishmarket metaphor
A.W. Biermann (1992)
Encyclopedia of Artificial Intelligence, Vol. 1
L. Sterling, E. Shapiro (1994)
The art of Prolog (2nd ed.): advanced programming techniques
M. Shields (1988)
An Introduction to Automata Theory
V. Gordon, J. Bieman (1995)
Rapid Prototyping: Lessons LearnedIEEE Softw., 12
Barbara Messing (2003)
An Introduction to MultiAgent SystemsKünstliche Intell., 17
M. d'Inverno, M. Luck (2001)
Understanding Agent Systems
M. Esteva, D. Cruz, C. Sierra (2002)
ISLANDER: an electronic institutions editor
K. Apt, V. Marek, M. Truszczynski, D. Warren (2011)
The Logic Programming Paradigm: A 25-Year Perspective
Allen Goldberg (1986)
Knowledge-based programming: A survey of program design and construction techniquesIEEE Transactions on Software Engineering, SE-12
M. Esteva, J. Padget, C. Sierra (2001)
Formalizing a Language for Institutions and Norms
J.L. Peterson (1977)
Petri netsComputing Surveys, 9
P. Hill, J. Gallagher (1998)
Meta-Programming in Logic Progamming
Philip Dart, Edmund Kazmierczak, Leon Sterling, M. Martelli, Viviana Mascardi, F. Zini, V. Subrahmanian (1999)
Combining logical agents with rapid prototyping for engineering distributed applicationsSTEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice
Timo Steffens (2004)
Understanding Agent SystemsKünstliche Intell., 18
(1977)
Computing Surveys
K.R. Apt (1997)
From Logic Programming to Prolog
N. Jennings (1999)
Agent-Oriented Software Engineering
S. Bussmann, P. Ciancarini, Keith Decker, M. Huhns, M. Wooldridge (1999)
Agent-oriented software engineeringProceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium
L. Sterling, M. Kirschenbaum (1993)
Constructing Logic Programs
W. Vasconcelos, Eudenia Meneses (2000)
A Practical Approach for Logic Program Analysis and Transformation
Timothy Gegg-Harrison (1991)
Learning Prolog in a schema-based environmentInstructional Science, 20
(1989)
Comm. of the ACM
J. Feldman (1972)
Automatic programming.
C. Kennedy (2000)
HTML & XHTML: The Definitive Guide
C. Harland (1996)
Supply Chain Management: Relationships, Chains and NetworksBritish Journal of Management, 7
L. Sterling, E. Shapiro (1986)
The Art of Prolog - Advanced Programming Techniques
M. Kirschenbaum, S. Michaylov, L. Sterling (1996)
Skeletons and techniques as a normative view of developing logic programsAustralian Computer Science Communications, 18
P. Garcia-Calvés, E. Giménez, L. Godo, J. Rodríguez-Aguilar (1998)
Bidding Strategies for Trading Agents in Auction-Based Tournaments
A. Bowles, D. Robertson, W. Vasconcelos, M. Vargas-Vera, D. Bental (1994)
Applying Prolog programming techniquesInt. J. Hum. Comput. Stud., 41
M. Ducassé, Jacques Noyé (1994)
Logic Programming Environments: Dynamic Program Analysis and DebuggingJ. Log. Program., 19/20
J. Rodríguez (2001)
On the Design and Construction of Agent-mediated Electronic Institutions
W. Vasconcelos, Norbert Fuchs (1995)
Prolog Program Development via Enhanced Schema-based Transformations
V. Subrahmanian, P. Bonatti, J. Dix, Thomas Eiter (2000)
Heterogeneous Agent Systems
Massimo Cossentino, M. Kaisers, K. Tuyls, Gerhard Weiss (2017)
Multi-Agent SystemsLecture Notes in Computer Science
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, Paolo Torroni (2003)
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
M. Wooldridge (2001)
Introduction to multiagent systems
Jos Alferes, Pierangelo Dell'Acqua, E. Lamma, I. Leite, L. Pereira, Fabrizio Riguzzi (2001)
A Logic Based Approach to Multi-Agent Systems
Ingo Br (1990)
Prolog programming for artificial intelligence
W. Vasconcelos (2003)
Expressive global protocols via logic-based electronic institutions
G. Kersten, S. Szpakowicz (1994)
Negotiation in distributed artificial intelligence: drawing from human experience1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences, 4
W. Vasconcelos, J. Sabater-Mir, C. Sierra, Joaquim Querol (2002)
Skeleton-based agent development for electronic institutions
S. Parsons, C. Sierra, N. Jennings (1998)
Agents That Reason and Negotiate by ArguingJ. Log. Comput., 8
R. Budde, Karin Kuhlenkamp, Lars Mathiassen, H. Züllighoven (1984)
Approaches to Prototyping
L. Sterling, M. Kirschenbaum (1993)
Applying Techniques to Skeletons
W. Vasconcelos, C. Sierra, M. Esteva (2002)
An approach to rapid prototyping of large multi-agent systemsProceedings 17th IEEE International Conference on Automated Software Engineering,
S. Franklin, A. Graesser (1996)
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
A. Pettorossi, M. Proietti (1994)
Transformation of Logic Programs: Foundations and TechniquesJ. Log. Program., 19/20
M. Martelli, V. Mascardi, F. Zini (1999)
Specification and Simulation of Multi-Agent Systems in CaseLP
C. Sierra, J. Sabater-Mir, J. Agustí-Cullell, P. Garcia-Calvés (2002)
Evolutionary programming in SADDE
C. Rich, Y. Feldman (1992)
Seven Layers of Knowledge Representation and Reasoning in Support of Software DevelopmentIEEE Trans. Software Eng., 18
P. Flener, K. Lau, Mario Ornaghi, J. Richardson (2000)
An Abstract Formalization of Correct Schemas for Program SynthesisJ. Symb. Comput., 30
C. Sierra, J. Sabater-Mir, J. Agustí-Cullell, Pere Garcia (2002)
Evolutionary computation and multiagent systems design
W. Vasconcelos, Norbert Fuchs (1995)
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations
N. Carriero, D. Gelernter (1989)
Linda in contextCommun. ACM, 32
M. Kirschenbaum, S. Michaylov, L. Sterling (1996)
Skeletons and techniques as a normative approach to program development in logic-based languages
T.H. Cormen, C.E. Leiserson, R.L. Rivest (1990)
Introduction to Algorithms
R. Kowalski, F. Sadri (1999)
From logic programming towards multi‐agent systemsAnnals of Mathematics and Artificial Intelligence, 25
G. Bucci, E. Vicario (1992)
Rapid prototyping through communicating Petri nets[1992 Proceedings] The Third International Workshop on Rapid System Prototyping
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for rapidly building prototypes of large multi-agent systems using logic programming. Our method advocates the use of a description of all permitted interactions among the components of the system, that is, the protocol, as the starting specification. The protocol is represented in a way that allows us to automatically check for desirable properties of the system to be built. We then employ the same specification to synthesise agents that will correctly follow the protocol. These synthesised agents are simple logic programs that engineers can further customise into more sophisticated software. Our choice of agents as logic programs allows us to provide semi-automatic support for the customisation activity. In our method, a prototype is a protocol with a set of synthesised and customised agents. Executing the prototype amounts to having these agents enact the protocol. We have implemented and described a distributed platform to simulate prototypes.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Oct 5, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.