Computational Logic in Genova

[1]  Giorgio Delzanno,et al.  Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols , 2004, J. Symb. Comput..

[2]  Jean-Marc Andreoli,et al.  Linear objects: Logical processes with built-in inheritance , 1990, New Generation Computing.

[3]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[4]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[5]  Viviana Mascardi,et al.  West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware , 2007, Int. J. Agent Oriented Softw. Eng..

[6]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[7]  Andrea Omicini,et al.  Multi-paradigm Java-Prolog integration in tuProlog , 2005, Sci. Comput. Program..

[8]  Giorgio Delzanno,et al.  Model checking linear logic specifications , 2003, Theory and Practice of Logic Programming.

[9]  A. Martelli,et al.  Modeling Agents in a Logic Action , 2000 .

[10]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[11]  Viviana Mascardi,et al.  Reasoning About Agents' Interaction Protocols Inside DCaseLP , 2004, DALT.

[12]  Viviana Mascardi,et al.  Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents , 2008, CISIS.

[13]  A. Rao,et al.  Deliberation and Intentions , 1991 .

[14]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[15]  Alberto Martelli,et al.  A Journey in the Computational Logic in Italy , 2009 .

[16]  William Samuelson.  Auctions in Theory and Practice , 2002 .

[17]  Michael Fisher,et al.  Concurrent MetateM Processes - A Language for Distributed AI , 1991 .

[18]  Viviana Mascardi,et al.  A Multimedia, Multichannel, and Personalized News Provider , 2003, MIPS.

[19]  Viviana Mascardi,et al.  BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems , 2005, EUMAS.

[20]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[21]  Davide Ancona,et al.  Coo-BDI: Extending the BDI Model with Cooperativity , 2003, DALT.

[22]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[23]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[24]  Giorgio Delzanno,et al.  Constraint-based deductive model checking , 2001, International Journal on Software Tools for Technology Transfer.

[25]  Viviana Mascardi,et al.  Personalization, Verification and Conformance for Logic-based Communicating Agents , 2005, WOA.

[26]  Giorgio Delzanno,et al.  An effective fixpoint semantics for linear logic programs , 2002, Theory Pract. Log. Program..

[27]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[28]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[29]  Viviana Mascardi,et al.  A Multi-Agent Approach to Vehicle Monitoring in Motorway , 2007 .

[30]  Giorgio Delzanno,et al.  Proofs as computations in linear logic , 2001, Theor. Comput. Sci..

[31]  Viviana Mascardi,et al.  Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME'007) workshop , 2007 .

[32]  Viviana Mascardi,et al.  DCaseLP: A Prototyping Environment for Multi-language Agent Systems , 2008, LADS.

[33]  Viviana Mascardi,et al.  Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.

[34]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[35]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[36]  Viviana Mascardi,et al.  Designing and Implementing Electronic Auctions in a Multiagent System Environment , 2005, WOA.