| 2022 | LPNMR | Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2021 | ICLP | Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2013 | ICAIL | Temporal deontic action logic for the verification of compliance to norms in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2012 | KR | Business Processes Verification with Temporal Answer Set Programming. | Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupr |
| 2012 | KR | Achieving Completeness in Bounded Model Checking of Action Theories in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2008 | ECAI | Verifying the Conformance of Agents with Multiparty Protocols. | Laura Giordano, Alberto Martelli |
| 2007 | ICSOC | Goal Preservation by Choreography-Driven Matchmaking. | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella |
| 2006 | ICSOC | A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti |
| 2004 | JELIA | Verifying Communicating Agents by Model Checking in a Temporal Action Logic. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 2004 | TIME | On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. | Laura Giordano, Alberto Martelli |
| 1998 | ECAI | Dealing with Concurrent Actions in Modal Action Logics. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 1998 | TABLEAUX | A Tableau for Multimodal Logics and Some (Un)Decidability Results. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1996 | ICLP | A Framework for a Modal Logic Programming. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1995 | LPNMR | Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1994 | ICLP | A Modal Extension of Logic Programming. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1994 | ICLP | Conditonal Logic Programming. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1993 | ICLP | A Semantics for Eshghi and Kowalski's Procedure. | Laura Giordano, Alberto Martelli, Maria Luisa Sapino |
| 1990 | ECAI | An Abductive Characterization of the TMS. | Laura Giordano, Alberto Martelli |
| 1990 | ECAI | Truth Maintenance Systems and Belief Revision. | Laura Giordano, Alberto Martelli |
| 1990 | ICLP | Generalized Stable Models, Truth Maintenance and Conflict Resolution. | Laura Giordano, Alberto Martelli |
| 1988 | ESOP | Enhancing Prolog to Support Prolog Programming Environments. | Alberto Martelli, Gianfranco Rossi |
| 1986 | ICLP | On the Semantics of Logic Programing Languages. | Alberto Martelli, Gianfranco Rossi |
| 1981 | ICDCS | Communication Through Message Passing or Shared Memory: A Formal Comparison. | Rocco De Nicola, Alberto Martelli, Ugo Montanari |
| 1979 | ICSE | A Flexible Environment for Program Development Based on a Symbolic Interpreter. | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini |
| 1977 | IJCAI | Theorem Proving with Structure Sharing and Efficient Unification. | Alberto Martelli, Ugo Montanari |
| 1975 | IJCAI | Form Dynamic Programming To Search Algorithms With Functional Costs. | Alberto Martelli, Ugo Montanari |
| 1974 | ICALP | Dynamic Programming Schemata. | Alberto Martelli, Ugo Montanari |
| 1973 | IJCAI | Additive AND/OR Graphs. | Alberto Martelli, Ugo Montanari |