Laura Giordano

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 83

Top Venues

Publications

Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics (2024)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. 164 (2024)
Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC (2024)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases. CoRR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics (2023)
Laura Giordano
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). CILC (2022)
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI (2022)
Laura Giordano, Daniele Theseider Dupré
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. CoRR (2022)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR (2022)
Laura Giordano
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. NMR (2022)
Laura Giordano, Daniele Theseider Dupré
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. Theory Pract. Log. Program. 22 (4) (2022)
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog (2022)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32 (2) (2022)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF (2021)
Laura Giordano
On the KLM Properties of a Fuzzy DL with Typicality. ECSQARU (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with EL ontologies with temporal answer sets. CoRR (2021)
Laura Giordano, Daniele Theseider Dupré
Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications (2021)
Laura Giordano, Daniele Theseider Dupré
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA (2021)
Laura Giordano
From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. CoRR (2021)
Laura Giordano, Daniele Theseider Dupré
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO (2021)
Laura Giordano, Daniele Theseider Dupré
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC (2021)
Ken Satoh, Laura Giordano, Matteo Baldoni
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. CLAR (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops (2021)
Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré
User action representation and automated reasoning for the forensic analysis of mobile devices. ARES (2021)
Laura Giordano
From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. AI³@AI*IA (2021)
Laura Giordano, Valentina Gliozzi
A reconstruction of multipreference closure. Artif. Intell. 290 (2021)
Laura Giordano
On the KLM properties of a fuzzy DL with Typicality. CoRR (2021)
Laura Giordano, Daniele Theseider Dupré
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC (2020)
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR (2020)
Ken Satoh, Matteo Baldoni, Laura Giordano
Reasoning About Applicable Law in Private International Law in Logic Programming. JURIX (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA (2020)
Laura Giordano, Alberto Policriti
Adding the power-set to description logics. Theor. Comput. Sci. 813 (2020)
Laura Giordano, Daniele Theseider Dupré
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR (2020)
Laura Giordano, Daniele Theseider Dupré
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR (2020)
Laura Giordano, Valentina Gliozzi
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae 176 (3-4) (2020)
Laura Giordano, Daniele Theseider Dupré
A framework for a modular multi-concept lexicographic closure semantics. CoRR (2020)
Laura Giordano, Daniele Theseider Dupré
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. 20 (5) (2020)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR (2020)
Laura Giordano, Alberto Policriti
with the Power-Set Construct. JELIA (2019)
Laura Giordano, Daniele Theseider Dupré
ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA (2019)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA (2019)
Laura Giordano, Valentina Gliozzi
Strengthening the Rational Closure for Description Logics: An Overview. CILC (2019)
Laura Giordano, Alberto Policriti
Adding the Power-Set to Description Logics. CoRR (2019)
Laura Giordano, Valentina Gliozzi
A reconstruction of the multipreference closure. CoRR (2019)
Laura Giordano, Valentina Gliozzi
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU (2019)
Laura Giordano, Alberto Policriti
Extending ALC with the power-set construct. CILC (2019)
Matteo Baldoni, Laura Giordano, Ken Satoh
Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX (2019)
Laura Giordano, Daniele Theseider Dupré
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae 161 (1-2) (2018)
Laura Giordano, Daniele Theseider Dupré
Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) (2018)
Laura Giordano, Valentina Gliozzi
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR (2018)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159 (1-2) (2018)
Laura Giordano, Valentina Gliozzi
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR (2018)
Laura Giordano, Alberto Policriti
Power (Set) ALC. ICTCS (2018)
Laura Giordano, Alberto Policriti
Power (Set) ALC (Extended Abstract). CILC (2018)
Laura Giordano, Daniele Theseider Dupré
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR (2018)
Laura Giordano, Valentina Gliozzi
Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR (2018)
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
Preface. Fundam. Informaticae 150 (1) (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics (2017)
Laura Giordano, Daniele Theseider Dupré
ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. 16 (5-6) (2016)
Laura Giordano, Daniele Theseider Dupré
ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR (2016)
Laura Giordano, Daniele Theseider Dupré
Reasoning in a Rational Extension of SROEL. CILC (2016)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC (2016)
Laura Giordano, Daniele Theseider Dupré
Reasoning in a Rational Extension of SROEL. Description Logics (2016)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226 (2015)
Laura Giordano, Valentina Gliozzi
. ISMIS (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA (2015)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25 (6) (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. CoRR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. Description Logics (2014)
Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
Advances in the GINSENG Project. ICHI (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal models for rational closure in SHIQ. ICTCS (2014)
Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL (2014)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Logics in access control: a conditional approach. J. Log. Comput. 24 (4) (2014)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13 (2) (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Semantics for Rational Closure: Preliminary Results. CILC (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
On Rational Closure in Description Logics of Typicality CoRR (2013)
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA (2013)
Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
Towards a Second Generation of Computer Interpretable Guidelines. DATA (2013)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195 (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13 (4-5) (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Modal Reconstruction of Rational Closure. CILC (2012)

Laura Giordano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laura Giordano