Laura Giordano 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2024

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicalityMario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. ijar, 164:109065, January 2024. [doi]

2023

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge BasesMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. jelia 2023: 481-497 [doi]

Typicality, Conditionals and a Probabilistic Semantics for Gradual ArgumentationMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. nmr 2023: 4-13 [doi]

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual SemanticsMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. ICLP 2023: [doi]

Preferential Temporal Description Logics with Typicality and Weighted Knowledge BasesMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. cilc 2023: [doi]

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with TypicalityMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. ai3 2023: [doi]

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract)Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. dlog 2023: [doi]

2022

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and BackLaura Giordano 0001. nmr 2022: 127-138 [doi]

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)Laura Giordano 0001. cilc 2022: 307-312 [doi]

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract)Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. dlog 2022: [doi]

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTLLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. lpnmr 2022: 231-244 [doi]

A conditional, a fuzzy and a probabilistic interpretation of self-organizing mapsLaura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. logcom, 32(2):178-205, 2022. [doi]

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge BasesLaura Giordano 0001, Daniele Theseider Dupré. tplp, 22(4):589-605, 2022. [doi]

Weighted Conditionals from Gradual Argumentation to Probabilistic ArgumentationMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. aiia 2023: [doi]

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 0001, Valentina Gliozzi, Daniele Theseider Dupré. aiia 2022: 64-72 [doi]

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with TypicalityFrancesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. datalog 2022: 54-67 [doi]

From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic IntegrationFrancesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. ki 2022: 66-78 [doi]

2021

A reconstruction of multipreference closureLaura Giordano 0001, Valentina Gliozzi. ai, 290:103398, 2021. [doi]

On the KLM Properties of a Fuzzy DL with TypicalityLaura Giordano 0001. ecsqaru 2021: 557-571 [doi]

From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation SemanticsLaura Giordano 0001. aiia 2021: [doi]

Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)Laura Giordano 0001, Daniele Theseider Dupré. dlog 2021: [doi]

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network ModelLaura Giordano 0001, Daniele Theseider Dupré. jelia 2021: 225-242 [doi]

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract)Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. GandALF 2021: 83-89 [doi]

Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an OverviewLaura Giordano 0001, Daniele Theseider Dupré. aiia 2022: 10-18 [doi]

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer SetsLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. ICLP 2021: [doi]

A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report)Laura Giordano 0001, Daniele Theseider Dupré. cilc 2021: 47-61 [doi]

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An OverviewLaura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. jowo 2021: [doi]

Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreterKen Satoh, Laura Giordano 0001, Matteo Baldoni. phoenix 2021: 60-75 [doi]

2020

Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical ClosureLaura Giordano 0001, Valentina Gliozzi. FUIN, 176(3-4):235-269, 2020. [doi]

Adding the power-set to description logicsLaura Giordano 0001, Alberto Policriti. TCS, 813:155-174, 2020. [doi]

Towards a Conditional Interpretation of Self Organizing MapsLaura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. aiia 2020: 127-134 [doi]

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising MapsLaura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. cilc 2020: 127-140 [doi]

An ASP approach for reasoning in a concept-aware multipreferential lightweight DLLaura Giordano 0001, Daniele Theseider Dupré. tplp, 20(5):751-766, 2020. [doi]

Reasoning About Typicality and Probabilities in Preferential Description LogicsLaura Giordano 0001, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato. In Giuseppe Cota, Marilena Daquino, Gian Luca Pozzato, editors, Applications and Practices in Ontology Design, Extraction, and Reasoning. Volume 49 of Studies on the Semantic Web, pages 145-161, IOS Press, 2020. [doi]

Reasoning About Applicable Law in Private International Law in Logic ProgrammingKen Satoh, Matteo Baldoni, Laura Giordano 0001. jurix 2020: 281-285 [doi]

2019

Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference SemanticsLaura Giordano 0001, Valentina Gliozzi. ecsqaru 2019: 212-225 [doi]

Strengthening the Rational Closure for Description Logics: An OverviewLaura Giordano 0001, Valentina Gliozzi. cilc 2019: 68-81 [doi]

ALC with the Power-Set ConstructLaura Giordano 0001, Alberto Policriti. jelia 2019: 387-398 [doi]

Extending ALC with the power-set constructLaura Giordano 0001, Alberto Policriti. cilc 2019:

ASP and Ontologies for Reasoning on Business ProcessesLaura Giordano 0001, Daniele Theseider Dupré. aiia 2019: 45-52 [doi]

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and OntologiesLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. aiia 2020: 41-46 [doi]

Renvoi in Private International Law: A Formalization with Modal ContextsMatteo Baldoni, Laura Giordano 0001, Ken Satoh. jurix 2019: 157-162 [doi]

2018

Power (Set) ALC (Extended Abstract)Laura Giordano 0001, Alberto Policriti. cilc 2018: 17-21 [doi]

Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical ClosureLaura Giordano 0001, Valentina Gliozzi. cade 2018: [doi]

Power (Set) ALCLaura Giordano 0001, Alberto Policriti. ictcs 2018: 162-173 [doi]

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set ProgrammingLaura Giordano 0001, Daniele Theseider Dupré. BPM 2018: 71-88 [doi]

Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational ClosureLaura Giordano 0001, Daniele Theseider Dupré. FUIN, 161(1-2):135-161, 2018. [doi]

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti. FUIN, 159(1-2):95-122, 2018. [doi]

2017

2016

2012

Business Processes Verification with Temporal Answer Set ProgrammingLaura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. kr 2012: 48-59 [doi]

2008

Non-Classical Logics for Knowledge Representation and ReasoningLaura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind. BIRTHDAY 2008: [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Laura Giordano 0001'

Viewing Publication 1 - 58 from 58

2024

2023

2022

2021

2020

2019

2018

2017

2016

2012

2008

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by AuthorOR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Laura Giordano 0001'

Viewing Publication 1 - 58 from 58

2024

2023

2022

2021

2020

2019

2018

2017

2016

2012

2008

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1