default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaura Giordano 0001
Person information
- affiliation: Università del Piemonte Orientale, Alessandria, Italy
Other persons with the same name
- Laura Giordano 0002
![[0000-0003-0390-5297]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-0390-5297")
— Institute for Coastal Marine Environment (IAMC), CNR, Naples, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale 18(1): 153-174 (2024)- [j40]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: 109065 (2024) - [c133]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. AI³@AI*IA 2024 - [c132]Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC 2024 - [c131]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 - [e4]Laura Giordano, Jean Christoph Jung, Ana Ozaki:
Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. CEUR Workshop Proceedings 3739, CEUR-WS.org 2024 [contents] - [i25]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR abs/2409.09069 (2024) - 2023
- [c130]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA 2023 - [c129]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC 2023 - [c128]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics 2023 - [c127]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops 2023 - [c126]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA 2023: 481-497 - [c125]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR 2023: 4-13 - [i24]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR abs/2303.04534 (2023) - [i23]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 abs/2305.00304 (2023) - 2022
- [j39]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32(2): 178-205 (2022) - [j38]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): 589-605 (2022) - [c124]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA 2022 - [c123]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: 64-72 - [c122]Laura Giordano:
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). CILC 2022: 307-312 - [c121]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: 54-67 - [c120]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics 2022 - [c119]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: 66-78 - [c118]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR 2022: 231-244 - [c117]Laura Giordano:
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. NMR 2022: 127-138 - [e3]Ofer Arieli, Giovanni Casini, Laura Giordano:
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. CEUR Workshop Proceedings 3197, CEUR-WS.org 2022 [contents] - [i22]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 abs/2202.01123 (2022) - [i21]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR abs/2212.07523 (2022) - 2021
- [j37]Laura Giordano, Valentina Gliozzi:
A reconstruction of multipreference closure. Artif. Intell. 290: 103398 (2021) - [c116]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: 45:1-45:7 - [c115]Laura Giordano:
From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. AI³@AI*IA 2021 - [c114]Laura Giordano, Daniele Theseider Dupré:
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA 2021: 10-18 - [c113]Laura Giordano, Daniele Theseider Dupré:
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC 2021: 47-61 - [c112]Ken Satoh, Laura Giordano, Matteo Baldoni:
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. CLAR 2021: 60-75 - [c111]Laura Giordano, Daniele Theseider Dupré:
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics 2021 - [c110]Laura Giordano:
On the KLM Properties of a Fuzzy DL with Typicality. ECSQARU 2021: 557-571 - [c109]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF 2021: 83-89 - [c108]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops 2021 - [c107]Laura Giordano, Daniele Theseider Dupré:
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA 2021: 225-242 - [c106]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO 2021 - [c105]Laura Giordano, Daniele Theseider Dupré:
Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications 2021: 70-76 - [i20]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR abs/2103.06854 (2021) - [i19]Laura Giordano:
On the KLM properties of a fuzzy DL with Typicality. CoRR abs/2106.00390 (2021) - [i18]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR abs/2107.04870 (2021) - [i17]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with EL ontologies with temporal answer sets. CoRR abs/2107.08403 (2021) - [i16]Laura Giordano:
From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. CoRR abs/2110.03643 (2021) - 2020
- [j36]Laura Giordano, Valentina Gliozzi:
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae 176(3-4): 235-269 (2020) - [j35]Laura Giordano, Alberto Policriti:
Adding the power-set to description logics. Theor. Comput. Sci. 813: 155-174 (2020) - [j34]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. 20(5): 751-766 (2020) - [c104]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA 2020: 127-134 - [c103]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC 2020: 127-140 - [c102]Ken Satoh, Matteo Baldoni, Laura Giordano:
Reasoning About Applicable Law in Private International Law in Logic Programming. JURIX 2020: 281-285 - [p3]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 145-161 - [i15]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR abs/2004.09507 (2020) - [i14]Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR abs/2006.04387 (2020) - [i13]Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR abs/2008.13278 (2020) - [i12]Laura Giordano, Daniele Theseider Dupré:
A framework for a modular multi-concept lexicographic closure semantics. CoRR abs/2009.00964 (2020) - [i11]Laura Giordano, Daniele Theseider Dupré:
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR abs/2012.13421 (2020)
2010 – 2019
- 2019
- [c101]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA 2019: 41-46 - [c100]Laura Giordano, Daniele Theseider Dupré:
ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA 2019: 45-52 - [c99]Laura Giordano, Valentina Gliozzi:
Strengthening the Rational Closure for Description Logics: An Overview. CILC 2019: 68-81 - [c98]Laura Giordano, Alberto Policriti:
Extending ALC with the power-set construct. CILC 2019 - [c97]Laura Giordano, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU 2019: 212-225 - [c96]Laura Giordano, Alberto Policriti:
Extending ALC with the Power-Set Construct. JELIA 2019: 387-398 - [c95]Matteo Baldoni, Laura Giordano, Ken Satoh:
Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX 2019: 157-162 - [i10]Laura Giordano, Alberto Policriti:
Adding the Power-Set to Description Logics. CoRR abs/1902.09844 (2019) - [i9]Laura Giordano, Valentina Gliozzi:
A reconstruction of the multipreference closure. CoRR abs/1905.03855 (2019) - 2018
- [j33]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159(1-2): 95-122 (2018) - [j32]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae 161(1-2): 135-161 (2018) - [c94]Laura Giordano, Daniele Theseider Dupré:
Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) 2018: 71-88 - [c93]Laura Giordano, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR 2018 - [c92]Laura Giordano, Alberto Policriti:
Power (Set) ALC (Extended Abstract). CILC 2018: 17-21 - [c91]Laura Giordano, Alberto Policriti:
Power (Set) ALC. ICTCS 2018: 162-173 - [i8]Laura Giordano, Valentina Gliozzi:
Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR abs/1801.07161 (2018) - [i7]Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR abs/1803.08885 (2018) - [i6]Laura Giordano, Valentina Gliozzi:
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR abs/1807.02879 (2018) - 2017
- [j31]Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato:
Preface. Fundam. Informaticae 150(1): v-vi (2017) - [c90]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017 - [c89]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC 2017: 306-320 - 2016
- [j30]Laura Giordano, Daniele Theseider Dupré:
ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. 16(5-6): 738-754 (2016) - [c88]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. CILC 2016: 53-68 - [c87]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC 2016: 214-229 - [c86]Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. Description Logics 2016 - [i5]Laura Giordano, Daniele Theseider Dupré:
ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR abs/1608.02450 (2016) - 2015
- [j29]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226: 1-33 (2015) - [j28]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): 1307-1330 (2015) - [c85]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: 164-178 - [c84]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics 2015 - [c83]Laura Giordano, Valentina Gliozzi:
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. ISMIS 2015: 248-258 - [p2]Luca Anselma, Alessio Bottrighi, Laura Giordano, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio:
A Hybrid Approach to the Verification of Computer Interpretable Guidelines. Foundations of Biomedical Knowledge Representation 2015: 287-315 - 2014
- [j27]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Logics in access control: a conditional approach. J. Log. Comput. 24(4): 705-762 (2014) - [c82]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. Description Logics 2014: 543-555 - [c81]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: 368 - [c80]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal models for rational closure in SHIQ. ICTCS 2014: 271-277 - [c79]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: 62-77 - [e2]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014 [contents] - [i4]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. CoRR abs/1406.2023 (2014) - 2013
- [j26]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013) - [j25]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13(2): 201-225 (2013) - [j24]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): 641-655 (2013) - [c78]Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato:
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA 2013: 60-72 - [c77]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. CILC 2013: 99-113 - [c76]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: 199-205 - [c75]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics 2013: 168-180 - [c74]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL 2013: 53-62 - [e1]Laura Giordano, Stefania Montani, Daniele Theseider Dupré:
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013. CEUR Workshop Proceedings 1101, CEUR-WS.org 2013 [contents] - [i3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013) - 2012
- [c73]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Modal Reconstruction of Rational Closure. CILC 2012: 161-175 - [c72]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190 - [c71]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012 - [c70]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241 - [c69]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR 2012: 48-59 - [c68]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012 - 2011
- [j23]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5(1): 127-131 (2011) - [c67]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA 2011: 164-176 - [c66]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55 - [c65]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [c64]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. IJCAI 2011: 894-899 - [c63]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179 - [c62]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195 - [i2]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011) - 2010
- [j22]Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio:
Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Medicine 48(1): 1-19 (2010) - [c61]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Constructive Conditional Logic for Access Control. CILC 2010 - [c60]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010 - [c59]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CILC 2010 - [c58]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116 - [c57]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070 - [c56]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074 - [c55]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332 - [p1]Laura Giordano, Francesca Toni:
Knowledge Representation and Non-monotonic Reasoning. 25 Years GULP 2010: 87-111
2000 – 2009
- 2009
- [j21]Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato:
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009) - [j20]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): 18:1-18:47 (2009) - [j19]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10(3): 21:1-21:50 (2009) - [c54]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. AI*IA 2009: 62-71 - [c53]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL. Description Logics 2009 - [c52]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436 - 2008
- [c51]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione 2008 - [c50]Laura Giordano, Alberto Martelli:
Verifying Agents' Conformance with Multiparty Protocols. CLIMA 2008: 17-36 - [c49]Laura Giordano, Alberto Martelli:
Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856 - [c48]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205 - 2007
- [j18]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Log. 5(2): 214-234 (2007) - [c47]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA 2007: 84-96 - [c46]Laura Giordano, Alberto Martelli:
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156 - [c45]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Description Logics. LPAR 2007: 257-272 - [c44]Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani:
Automatic Checking of the Correctness of Clinical Guidelines in GLARE. MedInfo 2007: 807-811 - [c43]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244 - 2006
- [j17]Laura Giordano, Alberto Martelli:
Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006) - [c42]Laura Giordano, Paolo Terenziani, Alessio Bottrighi, Stefania Montani, Loredana Donzella:
Model Checking for Clinical Guidelines: an Agent-based Approach. AMIA 2006 - [c41]Alberto Martelli, Laura Giordano:
Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems 2006: 229-246 - [c40]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758 - [c39]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202 - [i1]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006) - 2005
- [j16]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005) - [c38]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681 - [c37]Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani:
A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA 2005: 171-176 - [c36]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic. LCMAS 2005: 3-22 - 2004
- [j15]Laura Giordano, Camilla Schwind:
Conditional logic of actions and causation. Artif. Intell. 157(1-2): 239-279 (2004) - [j14]Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano:
Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) - [c35]Laura Giordano, Alberto Martelli, Camilla Schwind:
Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69 - [c34]Laura Giordano, Alberto Martelli:
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139 - 2003
- [c33]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274 - [c32]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 - [c31]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101 - 2002
- [j13]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Iterated Belief Revision and Conditional Logic. Stud Logica 70(1): 23-47 (2002) - [c30]Laura Giordano, Camilla Schwind:
Towards a Conditional Logic of Actions and Causation. JELIA 2002: 382-393 - [c29]Laura Giordano, Camilla Schwind:
Towards a conditional logic of actions and causation. NMR 2002: 333-342 - 2001
- [j12]Laura Giordano, Alberto Martelli, Camilla Schwind:
Reasoning about Actions in Dynamic Linear Time Temporal Logic. Log. J. IGPL 9(2): 273-288 (2001) - [c28]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175 - [c27]Laura Giordano, Alberto Martelli, Camilla Schwind:
Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248 - [c26]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 - 2000
- [j11]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino:
Conditional reasoning in logic programming. J. Log. Program. 44(1-3): 37-74 (2000) - [j10]Laura Giordano, Alberto Martelli, Camilla Schwind:
Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000) - [c25]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
1990 – 1999
- 1998
- [j9]Laura Giordano, Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998) - [j8]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8(5): 597-635 (1998) - [c24]Laura Giordano, Alberto Martelli, Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541 - [c23]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. JELIA 1998: 294-308 - [c22]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59 - 1997
- [c21]Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski:
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416 - 1996
- [j7]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL 4(3): 385-416 (1996) - [j6]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. J. Log. Program. 26(1): 31-67 (1996) - [c20]Matteo Baldoni, Laura Giordano, Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33 - [c19]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996: 231-245 - [c18]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Framework for a Modal Logic Programming. JICSLP 1996: 52-66 - [c17]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150 - 1995
- [j5]Laura Giordano, Alberto Martelli:
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Comput. Intell. 11: 11-46 (1995) - [c16]Piero A. Bonatti, Laura Giordano:
Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306 - [c15]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216 - 1994
- [j4]Laura Giordano, Alberto Martelli:
On Cumulative Default Logics. Artif. Intell. 66(1): 161-179 (1994) - [j3]Laura Giordano, Alberto Martelli:
Structuring Logic Programs: A Modal Approach. J. Log. Program. 21(2): 59-94 (1994) - [j2]Laura Giordano, Alberto Martelli:
Structured Prolog: A Language for Structured Logic Programming. Softw. Concepts Tools 15(3): 125- (1994) - [c14]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335 - [c13]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - [c12]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Conditonal Logic Programming. ICLP 1994: 272-289 - 1993
- [c11]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600 - [c10]Laura Giordano:
Defining Variants of Default Logic: a Modal Approach. ISMIS 1993: 59-68 - [c9]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487 - 1992
- [j1]Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992) - [c8]Laura Giordano, Alberto Martelli:
A Modal Framework for Structured Logic Programs. ELP 1992: 168-186 - [c7]Laura Giordano, Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445 - 1991
- [c6]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991: 78-87 - [c5]Laura Giordano, Alberto Martelli:
A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253 - 1990
- [c4]Laura Giordano, Alberto Martelli:
Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 71-86 - [c3]Laura Giordano, Alberto Martelli:
An Abductive Characterization of the TMS. ECAI 1990: 308-313 - [c2]Laura Giordano, Alberto Martelli:
Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441
1980 – 1989
- 1988
- [c1]Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396
Coauthor Index
[j41] [j40] [c133] [c132] [c131] [i25] [c130] [c129] [c128] [c127] [c126] [c125] [i24] [i23] [j39] [j38] [c124] [c123] [c121] [c120] [c119] [c118] [i22] [i21] [c116] [c114] [c113] [c111] [c109] [c108] [c107] [c106] [c105] [i20] [i18] [i17] [j34] [c104] [c103] [i14] [i13] [i12] [i11] [c101] [c100] [j32] [c94] [i7] [j30] [c88] [c87] [c86] [i5] [j28] [c81] [c79] [j25] [j24] [c76] [c74] [e1] [c72] [c69] [c68] [c65] [i2] [c59] [c58]
[j39] [c123] [c119] [j37] [c109] [c106] [i20] [i18] [j36] [c104] [c103] [p3] [i15] [i13] [c99] [c97] [i9] [j33] [c93] [i8] [i6] [j31] [c90] [c89] [j29] [c85] [c84] [c83] [j27] [c82] [c80] [e2] [i4] [j26] [c78] [c77] [c75] [i3] [c73] [c71] [c70] [j23] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c58] [c57] [c56] [c55] [j21] [j20] [j19] [c54] [c53] [c52] [c51] [c48] [c47] [c45] [c43] [c40] [c39] [i1] [j16] [c38] [c31] [j13] [c28] [c25] [c23]
[c120] [c118] [c108] [i17] [c101] [c87] [j28] [j25] [j24] [c74] [c72] [c69] [c68] [c65] [i2] [c59] [c58] [c50] [c49] [j18] [c46] [j17] [c41] [c37] [c36] [j14] [c35] [c34] [c33] [c32] [j12] [c27] [c26] [j11] [j10] [j8] [c24] [c22] [j7] [j6] [c20] [c19] [c18] [c17] [j5] [c15] [j4] [j3] [j2] [c14] [c13] [c12] [c11] [c9] [j1] [c8] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
