Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini  Home/Search
Context
Related
| disi.unige.it/person/Zi...shack99.ps.gz disi.unige.it/pub/pers...shaker99.ps.gz 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: strudel.di.unipi.it/p40/p...pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper presents an ongoing research project that uses Logic Programming, Linear Logic Programming, and their related techniques for executable specifications and rapid prototyping of Multi-Agent Systems. The MAS paradigm is an extremely rich one and we believe that Logic Programming will play a very effective role in this area, both as a tool for developing real applications and as a semantically well founded language for basing program analysis and proof of properties on. (Update)
Active bibliography (related documents): More All
1.3: Caselp, A Rapid Prototyping Environment For Agent Based Software - Zini (2001) (Correct)
1.2: A Multi-Agent Specification Environment for Complex Software.. - Zini (1997) (Correct)
1.2: Specification and Simulation of Multi-Agent Systems in CaseLP - Martelli, Mascardi, Zini (1999) (Correct)
Similar documents based on text: More All
0.7: Prototyping Freight Trains Traffic Management Using.. - Cuppari, Guida (Correct)
0.6: Programming, pages 13--28, L'Aquila, Italy, September.. - Proc Of.. (Correct)
0.6: Multi-Agent Systems Development as a Software.. - Bozzano, Delzanno, .. (1999) (Correct)
BibTeX entry: (Update)
@misc{ bozzano-logic,
author = "Marco Bozzano and Giorgio Delzanno and Maurizio Martelli and Viviana Mascardi
and Floriano Zini",
title = "Logic Programming \& Multi-Agent Systems: a Synergic Combination for Applications
and Semantics",
url = "citeseer.ist.psu.edu/bozzano99logic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
477 Intelligence without representation - Brooks - 1991 ACM DBLP
355 The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
327 Modeling Rational Agents within a BDI-- Architecture - Rao, Georgeff - 1991
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990 ACM
141 BDI Agents Speak Out in a Logical Computable Language (context) - Rao - 1996
68 A Formal Framework for Agency and Autonomy - Luck, D'Inverno - 1995
46 Programming in Lygon: An overview - Harland, Pym et al. - 1996 DBLP
46 Forum: A Multiple-Conclusion Specification Logic - Miller - 1996 DBLP
46 Towards a Unified Agent Architecture that Combines Rationali.. - Kowalski, Sadri - 1996 ACM DBLP
43 Evaluation of KQML as an Agent Communication Language - Mayfield, Labrou et al. - 1995 DBLP
42 Foundations of a Logical Approach to Agent Programming - Lesperance, Levesque et al. - 1995 DBLP
38 Proof Theoretic Approach to Specification Languages - Chirimar - 1995 ACM
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
29 IEE Proceedings of Software Engineering (context) - Wooldridge, engineering - 1997
23 From Logic Programming to Multi-agent Systems - Kowalski, Sadri - 1998
19 Object-Oriented Programming in Linear Logic (context) - Delzanno - 1997
17 Towards Multi-Agent Software Prototyping - Martelli, Mascardi et al. - 1998
16 Encoding transition systems in sequent calculus - McDowell, Miller et al. - 1996 ACM DBLP
16 A Linear Logic Calculus of Objects - Bugliesi, Delzanno et al. - 1996
14 European Computer Research Center (context) - Abderrahamane, Chan et al. - 1995
12 Applying logic programming to the specification of complex a.. - Martelli, Mascardi et al. - 1997
9 Computational Logic: The Newsletter of the European Network .. (context) - Miller, Linear - 1995
9 Combining Logical Agents with Rapid Prototyping for Engineer.. - Dart, Kazmierckaz et al. ACM
6 Agent-Oriented and Constraint Technologies for Distributed T.. (context) - Mascardi, Merelli
5 Agent Modelling in METATEM and DESIRE (context) - Mulder, Treur et al. - 1997 ACM DBLP
5 CaseLP Visualizer: un tool di visualizzazione per sistemi mu.. (context) - De Pedrini - 1998
5 Gestione Distribuita di Informazioni Mediche Mediante Tecnic.. (context) - Persano - 1998
4 The Logical Model of Computational Multi--Agent Systems (context) - Wooldridge - 1992
4 Vivid Agents: Theory (context) - Schroeder, Wagner
3 Research and development challanges for agent--based systems (context) - Ndumu, Nwana - 1997
3 Artificial Agents and Logic Programming - Wagner - 1997
3 McGraw--Hill International (context) - Pressman, Approach - 1994
1 A Linear Logic Specification of Chimera - Bozzano, Delzanno et al. - 1997
1 Instant CORBA (context) - Orfaly, Harkey et al. - 1997 ACM
Documents on the same site (http://strudel.di.unipi.it/p40/pubbl/pubbl.html): More
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Static Analysis of Processes for No Read-Up and No.. - Bodei, Degano, Nielson.. (1999) (Correct)
Matching for the Lambda Calculus of Objects - Bono, Bugliesi (1998) (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