References

1

A. Aretti. Semantica di sistemi multi-agente in logica lineare. Master's thesis, DISI - Università di Genova, Genova, Italy, 1999.

2

M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Logic programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In The Logic Programming Paradigm. A 25-Year Perspective. Springer-Verlag, 1999.

3

M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Multi-Agent Systems Development as a Software Engineering Enterprise. In Proc. of PADL, San Antonio, Texas, January 1999. Springer Verlag. LNCS 1551.

4

A. Cuppari, P. L. Guida, M. Martelli, V. Mascardi, and F. Zini. An Agent Based Prototype for Freight Trains Traffic Management. In Proc. of FMERail'99 Workshop (satellite event of FM'99), Toulouse, France, September 1999.

5

P. Dart, E. Kazmierckaz, M. Martelli, V. Mascardi, L. Sterling, V.S. Subrahmanian, and F. Zini. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. In Proc. of STEP'99, Pittsburgh, PA, September 1999.

6

G. Delzanno. Logic & Object-Oriented Programming in Linear Logic. PhD thesis, Università di Pisa, Dipartimento di Informatica, 1997.

7

M. R. Genesereth and S. P. Ketchpel. Software agents. Communications of the ACM, 37(7):49-53, 1994.

8

M. Georgeff and A. Lansky. Reactive Reasoning and Planning. In Proc. of AAAI-87, Seattle, WA, 1987.

9

G. De Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus: language and implementation. Submitted, February 1999.

10

R. Kowalsky and F. Sadri. Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In Proc. of International Workshop on Logic in Databases, San Miniato, Italy, 1996. Springer-Verlag.

11

J. Kramer. Distributed Software Engineering. In Proc. of the 16th International Conference on Software Engineering, pages 253-266, Sorrento, Italy, 1994. IEEE Computer Society Press.

12

M. Martelli, V. Mascardi, and F. Zini. Applying Logic Programming to the Specification of Complex Applications. In Proc. of Appia-Gulp-Prode 1997, Grado, Italy, June 1997.

13

V. Mascardi and E. Merelli. Agent-Oriented and Constraint Technologies for Distributed Transaction Management. In Proc. of IIA and SOCO, Genova, Italy, June 1999. ICSC Academic Press.

14

J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an Agent Communication Language. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.

15

D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1), 1996.

16

D. T. Ndumu and H. S. Nwana. Research and development challenges for agent-based systems. IEE Proc. of Software Engineering, 144(1), 1997.

17

M. De Pedrini. CaseLP Visualizer: un tool di visualizzazione per sistemi multi-agente logici. Master's thesis, DISI - Università di Genova, Genova, Italy, 1998.

18

G. Persano. Gestione distribuita di informazioni mediche mediante tecniche multi-agente. Master's thesis, DISI - Università di Genova, Genova, Italy, 1998.

19

A. S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away, pages 42-55. Springer-Verlag, 1996. LNAI 1038.

20

M. Schroeder, I. de Almeida Mòra, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In Intelligent Agents III, pages 293-307. Springer-Verlag, 1996. LNAI 1193.

21

G. Wagner. Artificial Agents and Logic Programming. In Proc. of ICLP'97 Post Conference Workshop on Logic Programming and Multi-Agents, pages 69-87, Leuven, Belgium, July 1997.

22

M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2), 1995.

23

F. Zini and L. Sterling. Designing Ontologies for Agents. In Proc. of Appia-Gulp-Prode 1999, L'Aquila, Italy, September 1999.