Local Definitions with Static Scope Rules in Logic Programming. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (FGCS, 1988)

An Abductive Characterization of the TMS. - Laura Giordano 001; Alberto Martelli (ECAI, 1990)

Truth Maintenance Systems and Belief Revision. - Laura Giordano 001; Alberto Martelli (Truth Maintenance Systems (ECAI Workshop), 1990)

Generalized Stable Models, Truth Maintenance and Conflict Resolution. - Laura Giordano 001; Alberto Martelli (ICLP, 1990)

Negation as Failure and Constraints through Abduction and Defaults. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (AI*IA, 1991)

A Modal Reconstruction of Blocks and Modules in Logic Programming. - Laura Giordano 001; Alberto Martelli (ISLP, 1991)

A Modal Framework for Structured Logic Programs. - Laura Giordano 001; Alberto Martelli (ELP, 1992)

Negation as Failure in Intuitionistic Logic Programming. - Laura Giordano 001; Nicola Olivetti (JICSLP, 1992)

Extending Horn Clause Logic with Implication Goals. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (Theor. Comput. Sci., 1992)

A Semantics for Eshghi and Kowalski's Procedure. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (ICLP, 1993)

Defining Variants of Default Logic: a Modal Approach. - Laura Giordano 001 (ISMIS, 1993)

A Multimodal Logic to Define Modules in Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ILPS, 1993)

A Modal Extension of Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Conditonal Logic Programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (ICLP, 1994)

On Cumulative Default Logics. - Laura Giordano 001; Alberto Martelli (Artif. Intell., 1994)

Structuring Logic Programs: A Modal Approach. - Laura Giordano 001; Alberto Martelli (J. Log. Program., 1994)

Structured Prolog: A Language for Structured Logic Programming. - Laura Giordano 001; Alberto Martelli (Softw. Concepts Tools, 1994)

Three-Valued Semantics for Extended Logic Programs. - Piero A. Bonatti; Laura Giordano 001 (GULP-PRODE, 1995)

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (LPNMR, 1995)

A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. - Laura Giordano 001; Alberto Martelli (Comput. Intell., 1995)

Translating a Modal Language with Embedded Implication into Horn Clause Logic. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ELP, 1996)

An Abductive Proof Procedure for Conditional Logic Programming. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (FAPR, 1996)

A Framework for a Modal Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (JICSLP, 1996)

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli; Viviana Patti (NMELP, 1996)

A Language for Handling Hypothetical Updates and Inconsistency. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (Log. J. IGPL, 1996)

Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (J. Log. Program., 1996)

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. - Anthony J. Bonner; Burkhard Freitag; Laura Giordano 001; Robert A. Kowalski (ILPS, 1997)

Dealing with Concurrent Actions in Modal Action Logics. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (ECAI, 1998)

A Conditional Logic for Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (JELIA, 1998)

A Tableau for Multimodal Logics and Some (Un)Decidability Results. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (TABLEAUX, 1998)

Combining Negation as Failure and Embedded Implications in Logic Programs. - Laura Giordano 001; Nicola Olivetti (J. Log. Program., 1998)

A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (J. Log. Comput., 1998)

A Conditional Logic for Iterated Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (ECAI, 2000)

Conditional reasoning in logic programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti; Maria Luisa Sapino (J. Log. Program., 2000)

Ramification and causality in a modal action logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (J. Log. Comput., 2000)

Belief Revision and the Ramsey Test: A Solution. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (AI*IA, 2001)

Reasoning about Actions in a Multiagent Domain. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (AI*IA, 2001)

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli; Viviana Patti (ICTCS, 2001)

Reasoning about Actions in Dynamic Linear Time Temporal Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (Log. J. IGPL, 2001)

Towards a conditional logic of actions and causation. - Laura Giordano 001; Camilla Schwind (NMR, 2002)

Iterated Belief Revision and Conditional Logic. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Stud Logica, 2002)

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (AI*IA, 2003)

Reasoning about Communicating Agents in the Semantic Web. - Matteo Baldoni; Cristina Baroglio; Laura Giordano 001; Alberto Martelli; Viviana Patti (PPSWR, 2003)

Tableau Calculi for Preference-Based Conditional Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (TABLEAUX, 2003)

Verifying Communicating Agents by Model Checking in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (JELIA, 2004)

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. - Laura Giordano 001; Alberto Martelli (TIME, 2004)

Conditional logic of actions and causation. - Laura Giordano 001; Camilla Schwind (Artif. Intell., 2004)

Programming Rational Agents in a Modal Action Logic. - Matteo Baldoni; Alberto Martelli; Viviana Patti; Laura Giordano 001 (Ann. Math. Artif. Intell., 2004)

Analytic Tableaux for KLM Preferential and Cumulative Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2005)

A Temporal Approach to the Specification and Verification of Interaction Protocols. - Laura Giordano 001; Alberto Martelli; Paolo Terenziani; Alessio Bottrighi; Stefania Montani (WOA, 2005)

Weak AGM postulates and strong Ramsey Test: A logical formalization. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Artif. Intell., 2005)

Specialization of Interaction Protocols in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (LCMAS, 2005)

Model Checking for Clinical Guidelines: an Agent-based Approach. - Laura Giordano 001; Paolo Terenziani; Alessio Bottrighi; Stefania Montani; Loredana Donzella (AMIA, 2006)

Reasoning About Web Services in a Temporal Action Logic. - Alberto Martelli; Laura Giordano 001 (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Automated Deduction for Logics of Default Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2006)

Analytic Tableau Calculi for KLM Rational Logic R. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2006)

Tableau-based automata construction for dynamic linear time temporal logic*. - Laura Giordano 001; Alberto Martelli (Ann. Math. Artif. Intell., 2006)

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2007)

Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli (AI*IA, 2007)

Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2007)

Automatic Checking of the Correctness of Clinical Guidelines in GLARE. - Paolo Terenziani; Luca Anselma; Alessio Bottrighi; Laura Giordano 001; Stefania Montani (MedInfo, 2007)

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2007)

Specifying and verifying interaction protocols in a temporal action logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (J. Appl. Log., 2007)

Verifying Agents' Conformance with Multiparty Protocols. - Laura Giordano 001; Alberto Martelli (CLIMA, 2008)

Verifying the Conformance of Agents with Multiparty Protocols. - Laura Giordano 001; Alberto Martelli (ECAI, 2008)

Reasoning about Typicality in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2008)

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2009)

Reasoning About Typicality in ALC and EL. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2009)

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPNMR, 2009)

ALC + T: a Preferential Extension of Description Logics. - Laura Giordano 001; Nicola Olivetti; Valentina Gliozzi; Gian Luca Pozzato (Fundam. Informaticae, 2009)

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ACM Trans. Comput. Log., 2009)

Tableau calculus for preference-based conditional logics: PCL and its extensions. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (ACM Trans. Comput. Log., 2009)

Knowledge Representation and Non-monotonic Reasoning. - Laura Giordano 001; Francesca Toni (25 Years GULP, 2010)

A Constructive Conditional Logic for Access Control. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (CILC, 2010)

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2010)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

A constructive conditional logic for access control: a preliminary report. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (ECAI, 2010)

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2010)

A Nonmonotonic Extension of KLM Preferential Logic P. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR (Yogyakarta), 2010)

Adopting model checking techniques for clinical guidelines verification. - Alessio Bottrighi; Laura Giordano 001; Gianpaolo Molino; Stefania Montani; Paolo Terenziani; Mauro Torchio (Artif. Intell. Medicine, 2010)

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $ mbox{ em DL-Lite}_{ mathit{core}}$. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2011)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2011)

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (IJCAI, 2011)

A Conditional Constructive Logic for Access Control and Its Sequent Calculus. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2011)

A Tableau Calculus for a Nonmonotonic Extension of EL^ mathcal{EL}^ bot. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2011)

Non-classical logics for knowledge representation and reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (Intelligenza Artificiale, 2011)

A Modal Reconstruction of Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2012)

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CILC, 2012)

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2012)

A Minimal Model Semantics for Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

Business Processes Verification with Temporal Answer Set Programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (KiBP@KR, 2012)

Achieving Completeness in Bounded Model Checking of Action Theories in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (KR, 2012)

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2013)

A Semantics for Rational Closure: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Towards a Second Generation of Computer Interpretable Guidelines. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luigi Portinale; Daniele Theseider Dupré (DATA, 2013)

Minimal Model Semantics and Rational Closure in Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2013)

Temporal deontic action logic for the verification of compliance to norms in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICAIL, 2013)

A non-monotonic Description Logic for reasoning about typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2013)

On Rational Closure in Description Logics of Typicality - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2013)

Reasoning about actions with Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Business process verification with constraint temporal answer set programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Rational Closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2014)

Advances in the GINSENG Project. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luca Piovesan; Luigi Portinale; Stefania Rubrichi; Matteo Spiotta; Daniele Theseider Dupré (ICHI, 2014)

Minimal models for rational closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ICTCS, 2014)

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. - Matteo Spiotta; Alessio Bottrighi; Laura Giordano 001; Daniele Theseider Dupré (KR4HC@VSL, 2014)

Logics in access control: a conditional approach. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (J. Log. Comput., 2014)

A Hybrid Approach to the Verification of Computer Interpretable Guidelines. - Luca Anselma; Alessio Bottrighi; Laura Giordano 001; Arjen Hommersom; Gianpaolo Molino; Stefania Montani; Paolo Terenziani; Mauro Torchio (Foundations of Biomedical Knowledge Representation, 2015)

A Multi-engine Theorem Prover for a Description Logic of Typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (AI*IA, 2015)

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (Description Logics, 2015)

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. - Laura Giordano 001; Valentina Gliozzi (ISMIS, 2015)

Semantic characterization of rational closure: From propositional logic to description logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2015)

Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (J. Log. Comput., 2015)

ASP for Reasoning about Actions with an EL^bot Knowledge Base. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (CILC, 2016)

Reasoning in a Rational Extension of SROEL. - Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2016)

ASP for minimal entailment in a rational extension of SROEL. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2016)

An Efficient Reasoner for Description Logics of Typicality and Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (Description Logics, 2017)

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (ICTCS/CILC, 2017)

Preface. - Laura Giordano 001; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato (Fundam. Informaticae, 2017)

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. - Laura Giordano 001; Daniele Theseider Dupré (BPM (Forum), 2018)

Power (Set) ALC (Extended Abstract). - Laura Giordano 001; Alberto Policriti (CILC, 2018)

Power (Set) ALC. - Laura Giordano 001; Alberto Policriti (ICTCS, 2018)

Reasoning about multiple aspects in DLs: Semantics and Closure Construction. - Laura Giordano 001; Valentina Gliozzi (CoRR, 2018)

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. - Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2018)

Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. - Laura Giordano 001; Daniele Theseider Dupré (Fundam. Informaticae, 2018)

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Fundam. Informaticae, 2018)

ASP and Ontologies for Reasoning on Business Processes. - Laura Giordano 001; Daniele Theseider Dupré (DDC@AI*IA, 2019)

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (OVERLAY@AI*IA, 2019)

Strengthening the Rational Closure for Description Logics: An Overview. - Laura Giordano 001; Valentina Gliozzi (CILC, 2019)

Extending ALC with the power-set construct. - Laura Giordano 001; Alberto Policriti (CILC, 2019)

Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. - Laura Giordano 001; Valentina Gliozzi (ECSQARU, 2019)

Extending ALC with the Power-Set Construct. - Laura Giordano 001; Alberto Policriti (JELIA, 2019)

Renvoi in Private International Law: A Formalization with Modal Contexts. - Matteo Baldoni; Laura Giordano 001; Ken Satoh (JURIX, 2019)

Towards a Conditional Interpretation of Self Organizing Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2020)

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CILC, 2020)

Reasoning About Applicable Law in Private International Law in Logic Programming. - Ken Satoh; Matteo Baldoni; Laura Giordano 001 (JURIX, 2020)

Reasoning about Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2020)

A framework for a modular multi-concept lexicographic closure semantics. - Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2020)

Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. - Laura Giordano 001; Valentina Gliozzi (Fundam. Informaticae, 2020)

Adding the power-set to description logics. - Laura Giordano 001; Alberto Policriti (Theor. Comput. Sci., 2020)

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2020)

Reasoning About Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

User action representation and automated reasoning for the forensic analysis of mobile devices. - Cosimo Anglano; Massimo Canonico; Laura Giordano 001; Marco Guazzone; Daniele Theseider Dupré (ARES, 2021)

From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. - Laura Giordano 001 (AI³@AI*IA, 2021)

Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. - Laura Giordano 001; Daniele Theseider Dupré (DP@AI*IA, 2021)

A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). - Laura Giordano 001; Daniele Theseider Dupré (CILC, 2021)

Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. - Ken Satoh; Laura Giordano 001; Matteo Baldoni (CLAR, 2021)

Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). - Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2021)

On the KLM Properties of a Fuzzy DL with Typicality. - Laura Giordano 001 (ECSQARU, 2021)

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (OVERLAY@GandALF, 2021)

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICLP Workshops, 2021)

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. - Laura Giordano 001; Daniele Theseider Dupré (JELIA, 2021)

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (JOWO, 2021)

A reconstruction of multipreference closure. - Laura Giordano 001; Valentina Gliozzi (Artif. Intell., 2021)

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (CoRR, 2021)

Reasoning about actions with EL ontologies with temporal answer sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CoRR, 2021)

Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. - Laura Giordano 001; Daniele Theseider Dupré (ICLP Technical Communications, 2021)

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2022)

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2022)

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). - Laura Giordano 001 (CILC, 2022)

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. - Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Datalog, 2022)

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Description Logics, 2022)

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 001; Valentina Gliozzi; Daniele Theseider Dupré (FCR@KI, 2022)

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (LPNMR, 2022)

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. - Laura Giordano 001 (NMR, 2022)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2022)

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. - Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (J. Log. Comput., 2022)

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. - Laura Giordano 001; Daniele Theseider Dupré (Theory Pract. Log. Program., 2022)

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2023)

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (ICLP Workshops, 2023)

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (JELIA, 2023)

Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (NMR, 2023)

Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2024)

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2024)

Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2024)

Temporal Many-valued Conditional Logics: an Abridged Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (OVERLAY, 2024)

Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Temporal Many-valued Conditional Logics: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2024)

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Intelligenza Artificiale, 2024)

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (J. Log. Comput., 2024)

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Int. J. Approx. Reason., 2024)

A framework for Conditional Reasoning in Answer Set Programming. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2025)