See this document in CiteSeerX!

Logic Programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics (1999)  (Make Corrections)  
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini



  Home/Search   Context   Related

 
View or download:
disi.unige.it/person/Zi...shack99.ps.gz
disi.unige.it/pub/pers...shaker99.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  strudel.di.unipi.it/p40/p...pubbl (more)
(Enter author homepages)

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

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