Applicative communicating processes in first order logic. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Symposium on Programming, 1982)

On Compiling Prolog Programs on Demand Driven Architectures. - Marco Bellia; Giorgio Levi; Maurizio Martelli (Logic Programming Workshop, 1983)

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Implementations of Prolog, 1984)

On the Integration of Logic Programming and Functional Programming. - Roberto Barbuti; Marco Bellia; Giorgio Levi; Maurizio Martelli (SLP, 1984)

Integrity Constraints for Logic Databases. - Patrizia Asirelli; Michele de Santis; Maurizio Martelli (J. Log. Program., 1985)

LEAF: A Language which Integrates Logic, Equations and Functions. - Roberto Barbuti; Marco Bellia; Giorgio Levi; Maurizio Martelli (Logic Programming: Functions, Relations, and Equations, 1986)

Completeness of the SLDNF-resolution for a class of logic programs. - Roberto Barbuti; Maurizio Martelli (ICLP, 1986)

Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. - C. Aquilano; Roberto Barbuti; P. Bocchetti; Maurizio Martelli (J. Autom. Reason., 1986)

A New Declarative Semantics for Logic Languages. - Moreno Falaschi; Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (ICLP/SLP, 1988)

A Tool to Check the Non-Floundering Logic Programs and Goals. - Roberto Barbuti; Maurizio Martelli (PLILP, 1988)

Declarative Modeling of the Operational Behavior of Logic Languages. - Moreno Falaschi; Giorgio Levi; Catuscia Palamidessi; Maurizio Martelli (Theor. Comput. Sci., 1989)

Failure and Success made Symmetric. - Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (NACLP, 1990)

Recognizing Non-Floundering Logic Programs and Goals. - Roberto Barbuti; Maurizio Martelli (Int. J. Found. Comput. Sci., 1990)

Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. - Alessandra Di Pierro; Maurizio Martelli; Catuscia Palamidessi (ICLP, 1991)

Strict Completion of Logic Programs. - Wlodzimierz Drabent; Maurizio Martelli (New Gener. Comput., 1991)

CLP (X) as a framework for action and deduction. - Elisa Bertino; Maurizio Martelli; Danilo Montesi (CNKBS, 1992)

Modeling Database Updates with Constraint Logic Programming. - Elisa Bertino; Maurizio Martelli; Danilo Montesi (Workshop on Deductive Databases, JICSLP, 1992)

CLP(AD) as a Deductive Database Language with Updates. - Elisa Bertino; Maurizio Martelli; Danilo Montesi (ELP, 1992)

Modelling Database Updates with Constraint Logic Programming. - Elisa Bertino; Maurizio Martelli; Danilo Montesi (FMLDO, 1992)

New Semantic Tools for Logic Programming. - Maurizio Gabbrielli; Giorgio Levi; Maurizio Martelli (REX Workshop, 1992)

A New SLDNF-Tree. - Maurizio Martelli; Chiara Tricomi (Inf. Process. Lett., 1992)

Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). - Elisa Bertino; Barbara Catania; Giovanna Guerrini; Maurizio Martelli; Danilo Montesi (GULP, 1993)

A Bottom-Up Characterization of Finite Success. - Giorgio Delzanno; Maurizio Martelli (ILPS, 1993)

Fixpoint Semantics of L-lambda. - Maurizio Martelli; Alessandro Messora; Catuscia Palamidessi (ILPS, 1993)

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs - Moreno Falaschi; Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (Inf. Comput., 1993)

A Bottom-Up Interpreter for a Database Language with Updates and Transactions. - Elisa Bertino; Barbara Catania; Giovanna Guerrini; Maurizio Martelli; Danilo Montesi (GULP-PRODE (2), 1994)

Fixpoint Semantics of L lambda. - Maurizio Martelli; Alessandro Messora; Catuscia Palamidessi; Alain Hui-Bon-Hoa (GULP-PRODE (1), 1994)

The s-Semantics Approach: Theory and Applications. - Annalisa Bossi; Maurizio Gabbrielli; Giorgio Levi; Maurizio Martelli (J. Log. Program., 1994)

Forum Objects. - Giorgio Delzanno; Maurizio Martelli (GULP-PRODE, 1995)

Objects in Forum. - Giorgio Delzanno; Maurizio Martelli (ILPS, 1995)

Negation as Instantiation - Alessandra Di Pierro; Maurizio Martelli; Catuscia Palamidessi (Inf. Comput., 1995)

A Linear Logic Calculus Objects. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (JICSLP, 1996)

A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 1997)

Applying Logic Programming to the Specification of Complex Applications. - Maurizio Martelli; Viviana Mascardi; Floriano Zini (APPIA-GULP-PRODE, 1997)

Transactions and Updates in Deductive Databases. - Danilo Montesi; Elisa Bertino; Maurizio Martelli (IEEE Trans. Knowl. Data Eng., 1997)

Towards Multi-Agent Software Prototyping. - Maurizio Martelli; Viviana Mascardi; Floriano Zini (PAAM, 1998)

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (The Logic Programming Paradigm, 1999)

Specification and Simulation of Multi-Agent Systems in CaseLP. - Maurizio Martelli; Viviana Mascardi; Floriano Zini (APPIA-GULP-PRODE, 1999)

Multi-agent Systems Development as a Software Engineering Enterprise. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi; Floriano Zini (PADL, 1999)

A specification logic for concurrent object-oriented programming. - Giorgio Delzanno; Didier Galmiche; Maurizio Martelli (Math. Struct. Comput. Sci., 1999)

Specification of Heterogeneous Agent Architectures. - Simone Marini; Maurizio Martelli; Viviana Mascardi; Floriano Zini (ATAL, 2000)

A bottom-up semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (PPDP, 2000)

HEMASL: A Flexible Language to Specify Heterogeneous Agents. - Simone Marini; Maurizio Martelli; Viviana Mascardi; Floriano Zini (WOA, 2000)

Object calculi in linear logic. - Michele Bugliesi; Giorgio Delzanno; Luigi Liquori; Maurizio Martelli (J. Log. Comput., 2000)

An embedding of calculi for negation as failure into linear logic. - Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 2001)

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (FLOPS, 2001)

On the Relations between Disjunctive and Linear Logic Programming. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (APPIA-GULP-PRODE, 2001)

Proofs as computations in linear logic. - Giorgio Delzanno; Maurizio Martelli (Theor. Comput. Sci., 2001)

Logic-Based Languages to Model and Program Intelligent Agents. - Maurizio Martelli; Viviana Mascardi; Leon Sterling (APPIA-GULP-PRODE, 2002)

Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. - Riccardo Albertoni; Maurizio Martelli; Viviana Mascardi; Stefano Miglia (WOA, 2002)

An effective fixpoint semantics for linear logic programs. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2002)

From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. - Maurizio Martelli; Viviana Mascardi (APPIA-GULP-PRODE, 2003)

Customizing AOSE methodologies by reusing AOSE features. - Thomas Juan; Leon Sterling; Maurizio Martelli; Viviana Mascardi (AAMAS, 2003)

A Multimedia, Multichannel, and Personalized News Provider. - M. Delato; Alberto Martelli; Maurizio Martelli; Viviana Mascardi; Alessandro Verri (MIPS, 2003)

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. - Egidio Astesiano; Maurizio Martelli; Viviana Mascardi; Gianna Reggio (SEKE, 2003)

Reasoning About Agents' Interaction Protocols Inside DCaseLP. - Matteo Baldoni; Cristina Baroglio; Ivana Gungui; Alberto Martelli; Maurizio Martelli; Viviana Mascardi; Viviana Patti; Claudio Schifanella (DALT, 2004)

Model Checking Linear Logic Specifications. - Marco Bozzano; Giorgio Delzanno; Maurizio Martelli (Theory Pract. Log. Program., 2004)

Logic-Based Specification Languages for Intelligent Software Agents. - Viviana Mascardi; Maurizio Martelli; Leon Sterling (Theory Pract. Log. Program., 2004)

BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. - Roberto Montagna; Giorgio Delzanno; Maurizio Martelli; Viviana Mascardi (EUMAS, 2005)

An Ontology-Based Similarity between Sets of Concepts. - Valentina Cordì; Paolo Lombardi; Maurizio Martelli; Viviana Mascardi (WOA, 2005)

An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. - Giovanni Casella; Gennaro Costagliola; Vincenzo Deufemia; Maurizio Martelli; Viviana Mascardi (VL/HCC, 2006)

DCaseLP: A Prototyping Environment for Multi-language Agent Systems. - Viviana Mascardi; Maurizio Martelli; Ivana Gungui (LADS, 2007)

Preface to the Proceedings of WOA 2007. - Matteo Baldoni; Antonio Boccalatte; Flavio De Paoli; Maurizio Martelli; Viviana Mascardi (WOA, 2007)

Computational Logic in Genova. - Viviana Mascardi; Giorgio Delzanno; Maurizio Martelli (Il Milione, 2008)

Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. - Viviana Mascardi; Daniela Briola; Maurizio Martelli; Riccardo Caccia; Carlo Milani (CISIS, 2008)

Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. - Giovanni Casella; Vincenzo Deufemia; Viviana Mascardi; Maurizio Martelli; Genoveffa Tortora (VISUAL, 2008)

A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. - Daniela Briola; Viviana Mascardi; Maurizio Martelli; Gabriele Arecco; Riccardo Caccia; Carlo Milani (WOA, 2008)

An agent-based framework for sketched symbol interpretation. - Giovanni Casella; Vincenzo Deufemia; Viviana Mascardi; Gennaro Costagliola; Maurizio Martelli (J. Vis. Lang. Comput., 2008)

Dynamic Resource Allocation in a MAS: A Case Study from the Industry. - Daniela Briola; Viviana Mascardi; Maurizio Martelli; Riccardo Caccia; Carlo Milani (WOA, 2009)

Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. - Michele Bozzano; Angela Locoro; Maurizio Martelli; Viviana Mascardi (CILC, 2010)

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. - Matteo Baldoni; Cristina Baroglio; Federico Bergenti; Antonio Boccalatte; Elisa Marengo; Maurizio Martelli; Viviana Mascardi; Luca Padovani; Viviana Patti; Alessandro Ricci; Gianfranco Rossi; Andrea Santi (MALLOW, 2010)

Abstract deduction and inferential models for type theory. - Paolo Gentilini; Maurizio Martelli (Inf. Comput., 2010)

Some applications of Computational Logic to the development of intelligent systems and verification methods. - Viviana Mascardi; Giorgio Delzanno; Maurizio Martelli (Intelligenza Artificiale, 2011)

Investigative analysis across documents and drawings: visual analytics for archaeologists. - Vincenzo Deufemia; Luca Paolino; Genoveffa Tortora; Antonella Traverso; Viviana Mascardi; Massimo Ancona; Maurizio Martelli; Nicoletta Bianchi; Henry de Lumley (AVI, 2012)

The Indiana MAS Project: Goals and Preliminary Results. - Angela Locoro; Viviana Mascardi; Daniela Briola; Maurizio Martelli; Massimo Ancona; Vincenzo Deufemia; Luca Paolino; Genny Tortora; Giuseppe Polese; Rita Francese (WOA, 2012)

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. - Paolo Gentilini; Maurizio Martelli (CILC, 2013)

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. - Paolo Gentilini; Maurizio Martelli; Giuseppe Rosolini (Fundam. Informaticae, 2015)