| 2025 | ICLP | Temporal Conditional Reasoning with Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | ICLP | Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | JELIA | Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2022 | KI | From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. | Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupr |
| 2022 | LPNMR | Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2021 | ECSQARU | On the KLM Properties of a Fuzzy DL with Typicality. | Laura Giordano |
| 2021 | ICLP | Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2021 | JELIA | Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. | Laura Giordano, Daniele Theseider Dupr |
| 2020 | JURIX | Reasoning About Applicable Law in Private International Law in Logic Programming. | Ken Satoh, Matteo Baldoni, Laura Giordano |
| 2019 | ECSQARU | Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. | Laura Giordano, Valentina Gliozzi |
| 2019 | JELIA | Extending | Laura Giordano, Alberto Policriti |
| 2019 | JURIX | Renvoi in Private International Law: A Formalization with Modal Contexts. | Matteo Baldoni, Laura Giordano, Ken Satoh |
| 2018 | BPM | Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. | Laura Giordano, Daniele Theseider Dupr |
| 2018 | CADE | Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. | Laura Giordano, Valentina Gliozzi |
| 2015 | ISMIS | Encoding a Preferential Extension of the Description Logic | Laura Giordano, Valentina Gliozzi |
| 2013 | DATA | Towards a Second Generation of Computer Interpretable Guidelines. | Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, 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 | JELIA | A Minimal Model Semantics for Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 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 |
| 2011 | IJCAI | Reasoning about Typicality in Low Complexity DLs: The Logics EL | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | TABLEAUX | A Conditional Constructive Logic for Access Control and Its Sequent Calculus. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2011 | TABLEAUX | A Tableau Calculus for a Nonmonotonic Extension of | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | ECAI | A constructive conditional logic for access control: a preliminary report. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2010 | ECAI | Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | LPAR | A Nonmonotonic Extension of KLM Preferential Logic P. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | LPNMR | Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2008 | ECAI | Verifying the Conformance of Agents with Multiparty Protocols. | Laura Giordano, Alberto Martelli |
| 2008 | JELIA | Reasoning about Typicality in Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | LPAR | Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | TABLEAUX | KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2006 | AMIA | Model Checking for Clinical Guidelines: an Agent-based Approach. | Laura Giordano, Paolo Terenziani, Alessio Bottrighi, Stefania Montani, Loredana Donzella |
| 2006 | ECAI | Automated Deduction for Logics of Default Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | JELIA | Analytic Tableau Calculi for KLM Rational Logic R. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2005 | LPAR | Analytic Tableaux for KLM Preferential and Cumulative Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 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 |
| 2003 | TABLEAUX | Tableau Calculi for Preference-Based Conditional Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
| 2002 | JELIA | Towards a Conditional Logic of Actions and Causation. | Laura Giordano, Camilla Schwind |
| 2000 | ECAI | A Conditional Logic for Iterated Belief Revision. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 1998 | ECAI | Dealing with Concurrent Actions in Modal Action Logics. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 1998 | JELIA | A Conditional Logic for Belief Revision. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 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 |
| 1993 | ISMIS | Defining Variants of Default Logic: a Modal Approach. | Laura Giordano |
| 1992 | ICLP | Negation as Failure in Intuitionistic Logic Programming. | Laura Giordano, Nicola Olivetti |
| 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 |