Laura Giordano

214 papers A* 2A 7B 24C 9Misc 1Journal 68Unranked 96

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	A Temporal, Deontic, Conditional Logic with Typicality: a Preliminary Report. ICTCS Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	B	`conf`	A framework for Conditional Reasoning in Answer Set Programming. ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	Conditionals and Temporal Conditionals for Gradual Argumentation. AI^3@ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	Temporal Conditional Reasoning with Weighted Knowledge Bases. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	—	`ed.`	Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Description Logics Laura Giordano, Jean Christoph Jung, Ana Ozaki
2024	J	`jnl`	Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Temporal Many-valued Conditional Logics: an Abridged Report. OVERLAY Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2023	B	`conf`	Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2022	J	`jnl`	A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	J	`jnl`	An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2022	J	`jnl`	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. CoRR Laura Giordano, Daniele Theseider Dupré
2022	—	`conf`	From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	—	`conf`	From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). CILC Laura Giordano
2022	—	`conf`	From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. NMR Laura Giordano
2022	J	`jnl`	Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2022	—	`conf`	Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. Datalog Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2022	—	`ed.`	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. NMR Ofer Arieli, Giovanni Casini, Laura Giordano
2022	B	`conf`	Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2022	—	`conf`	Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2022	—	`conf`	Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	—	`conf`	Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	J	`jnl`	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	J	`jnl`	A reconstruction of multipreference closure. Artif. Intell. Laura Giordano, Valentina Gliozzi
2021	J	`jnl`	From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	—	`conf`	From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. AI³@AI*IA Laura Giordano
2021	J	`jnl`	From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. CoRR Laura Giordano
2021	—	`conf`	Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. CLAR Ken Satoh, Laura Giordano, Matteo Baldoni
2021	—	`conf`	Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview. DP@AI*IA Laura Giordano, Daniele Theseider Dupré
2021	C	`conf`	On the KLM Properties of a Fuzzy DL with Typicality. ECSQARU Laura Giordano
2021	J	`jnl`	On the KLM properties of a fuzzy DL with Typicality. CoRR Laura Giordano
2021	—	`conf`	Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). Description Logics Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021	—	`conf`	Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2021	J	`jnl`	Reasoning about actions with EL ontologies with temporal answer sets. CoRR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2021	B	`conf`	User action representation and automated reasoning for the forensic analysis of mobile devices. ARES Cosimo Anglano, Massimo Canonico, Laura Giordano, Marco Guazzone, Daniele Theseider Dupré
2021	—	`conf`	Weighted Conditional EL ICLP Technical Communications Laura Giordano, Daniele Theseider Dupré
2021	B	`conf`	Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	A framework for a modular multi-concept lexicographic closure semantics. CoRR Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	Adding the power-set to description logics. Theor. Comput. Sci. Laura Giordano, Alberto Policriti
2020	J	`jnl`	An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. CoRR Laura Giordano, Daniele Theseider Dupré
2020	J	`jnl`	An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2020	—	`conf`	On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	J	`jnl`	On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	C	`conf`	Reasoning About Applicable Law in Private International Law in Logic Programming. JURIX Ken Satoh, Matteo Baldoni, Laura Giordano
2020	—	`ch.`	Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae Laura Giordano, Valentina Gliozzi
2020	J	`jnl`	Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	—	`conf`	Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020	J	`jnl`	Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. CoRR Laura Giordano, Daniele Theseider Dupré
2019	J	`jnl`	A reconstruction of the multipreference closure. CoRR Laura Giordano, Valentina Gliozzi
2019	—	`conf`	ASP and Ontologies for Reasoning on Business Processes. DDC@AI*IA Laura Giordano, Daniele Theseider Dupré
2019	J	`jnl`	Adding the Power-Set to Description Logics. CoRR Laura Giordano, Alberto Policriti
2019	B	`conf`	Extending JELIA Laura Giordano, Alberto Policriti
2019	—	`conf`	Extending ALC with the power-set construct. CILC Laura Giordano, Alberto Policriti
2019	C	`conf`	Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU Laura Giordano, Valentina Gliozzi
2019	C	`conf`	Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX Matteo Baldoni, Laura Giordano, Ken Satoh
2019	—	`conf`	Strengthening the Rational Closure for Description Logics: An Overview. CILC Laura Giordano, Valentina Gliozzi
2019	—	`conf`	Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2018	J	`jnl`	Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. CoRR Laura Giordano, Daniele Theseider Dupré
2018	J	`jnl`	Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. Fundam. Informaticae Laura Giordano, Daniele Theseider Dupré
2018	—	`conf`	Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum) Laura Giordano, Daniele Theseider Dupré
2018	—	`conf`	Power (Set) ALC (Extended Abstract). CILC Laura Giordano, Alberto Policriti
2018	—	`conf`	Power (Set) ALC. ICTCS Laura Giordano, Alberto Policriti
2018	—	`conf`	Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR Laura Giordano, Valentina Gliozzi
2018	J	`jnl`	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR Laura Giordano, Valentina Gliozzi
2018	J	`jnl`	Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR Laura Giordano, Valentina Gliozzi
2018	J	`jnl`	Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2017	—	`conf`	An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2017	J	`jnl`	Preface. Fundam. Informaticae Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
2017	—	`conf`	RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2016	J	`jnl`	ASP for Minimal Entailment in a Rational Extension of SROEL. CoRR Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2016	J	`jnl`	ASP for minimal entailment in a rational extension of SROEL. Theory Pract. Log. Program. Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	Reasoning in a Rational Extension of SROEL. CILC Laura Giordano, Daniele Theseider Dupré
2016	—	`conf`	Reasoning in a Rational Extension of SROEL. Description Logics Laura Giordano, Daniele Theseider Dupré
2015	—	`ch.`	A Hybrid Approach to the Verification of Computer Interpretable Guidelines. Foundations of Biomedical Knowledge Representation Luca Anselma, Alessio Bottrighi, Laura Giordano, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
2015	—	`conf`	A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	J	`jnl`	Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2015	—	`conf`	DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	C	`conf`	Encoding a Preferential Extension of the Description Logic ISMIS Laura Giordano, Valentina Gliozzi
2015	J	`jnl`	Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	—	`conf`	Advances in the GINSENG Project. ICHI Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
2014	—	`conf`	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. KR4HC@VSL Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré
2014	J	`jnl`	Logics in access control: a conditional approach. J. Log. Comput. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014	—	`conf`	Minimal models for rational closure in SHIQ. ICTCS Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	—	`ed.`	Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CILC Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014	—	`conf`	Rational Closure in SHIQ. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	J	`jnl`	Rational Closure in SHIQ. CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	A Semantics for Rational Closure: Preliminary Results. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2013	—	`conf`	Minimal Model Semantics and Rational Closure in Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	On Rational Closure in Description Logics of Typicality CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
2013	—	`ed.`	Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIIA 2013), Turin, Italy, December 6, 2013. AIBP@AIIA Laura Giordano, Stefania Montani, Daniele Theseider Dupré
2013	J	`jnl`	Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2013	C	`conf`	Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2013	C	`conf`	Towards a Second Generation of Computer Interpretable Guidelines. DATA Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
2012	B	`conf`	A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	A Modal Reconstruction of Rational Closure. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	A*	`conf`	Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2012	—	`conf`	Business Processes Verification with Temporal Answer Set Programming. KiBP@KR Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
2012	—	`conf`	Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2011	B	`conf`	A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2011	B	`conf`	A Tableau Calculus for a Nonmonotonic Extension of TABLEAUX Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	—	`conf`	A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	J	`jnl`	Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2011	—	`conf`	Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	J	`jnl`	Reasoning about Actions with Temporal Answer Sets CoRR Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2011	A*	`conf`	Reasoning about Typicality in Low Complexity DLs: The Logics EL IJCAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	—	`conf`	Verifying Compliance of Business Processes with Temporal Answer Sets. CILC Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010	—	`conf`	A Constructive Conditional Logic for Access Control. CILC Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010	—	`conf`	A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	A	`conf`	A constructive conditional logic for access control: a preliminary report. ECAI Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010	J	`jnl`	Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Medicine Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
2010	—	`ch.`	Knowledge Representation and Non-monotonic Reasoning. 25 Years GULP Laura Giordano, Francesca Toni
2010	A	`conf`	Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	—	`conf`	Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	—	`conf`	Reasoning about Actions with Temporal Answer Sets. CILC Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2010	—	`conf`	Verifying Business Process Compliance by Reasoning about Actions. CLIMA Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2009	J	`jnl`	ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
2009	J	`jnl`	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	B	`conf`	Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning About Typicality in ALC and EL. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning about Typicality with Low Complexity Description Logics: The Logic AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	J	`jnl`	Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2008	—	`conf`	Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008	B	`conf`	Reasoning about Typicality in Preferential Description Logics. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2008	—	`conf`	Verifying Agents' Conformance with Multiparty Protocols. CLIMA Laura Giordano, Alberto Martelli
2008	A	`conf`	Verifying the Conformance of Agents with Multiparty Protocols. ECAI Laura Giordano, Alberto Martelli
2007	—	`conf`	An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	—	`conf`	Automatic Checking of the Correctness of Clinical Guidelines in GLARE. MedInfo Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani
2007	B	`conf`	KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2007	B	`conf`	Preferential Description Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	J	`jnl`	Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Log. Laura Giordano, Alberto Martelli, Camilla Schwind
2007	—	`conf`	Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA Laura Giordano, Alberto Martelli
2006	B	`conf`	Analytic Tableau Calculi for KLM Rational Logic R. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	J	`jnl`	Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	A	`conf`	Automated Deduction for Logics of Default Reasoning. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	Misc	`conf`	Model Checking for Clinical Guidelines: an Agent-based Approach. AMIA Laura Giordano, Paolo Terenziani, Alessio Bottrighi, Stefania Montani, Loredana Donzella
2006	—	`conf`	Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems Alberto Martelli, Laura Giordano
2006	J	`jnl`	Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. Laura Giordano, Alberto Martelli
2005	—	`conf`	A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani
2005	B	`conf`	Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005	—	`conf`	Specialization of Interaction Protocols in a Temporal Action Logic. LCMAS Laura Giordano, Alberto Martelli, Camilla Schwind
2005	J	`jnl`	Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2004	J	`jnl`	Conditional logic of actions and causation. Artif. Intell. Laura Giordano, Camilla Schwind
2004	C	`conf`	On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME Laura Giordano, Alberto Martelli
2004	J	`jnl`	Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
2004	B	`conf`	Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA Laura Giordano, Alberto Martelli, Camilla Schwind
2003	—	`conf`	Reasoning about Communicating Agents in the Semantic Web. PPSWR Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti
2003	—	`conf`	Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA Laura Giordano, Alberto Martelli, Camilla Schwind
2003	B	`conf`	Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2002	J	`jnl`	Iterated Belief Revision and Conditional Logic. Stud Logica Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2002	B	`conf`	Towards a Conditional Logic of Actions and Causation. JELIA Laura Giordano, Camilla Schwind
2002	—	`conf`	Towards a conditional logic of actions and causation. NMR Laura Giordano, Camilla Schwind
2001	—	`conf`	Belief Revision and the Ramsey Test: A Solution. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2001	J	`jnl`	Reasoning about Actions in Dynamic Linear Time Temporal Logic. Log. J. IGPL Laura Giordano, Alberto Martelli, Camilla Schwind
2001	—	`conf`	Reasoning about Actions in a Multiagent Domain. AI*IA Laura Giordano, Alberto Martelli, Camilla Schwind
2001	—	`conf`	Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
2000	A	`conf`	A Conditional Logic for Iterated Belief Revision. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2000	J	`jnl`	Conditional reasoning in logic programming. J. Log. Program. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
2000	J	`jnl`	Ramification and causality in a modal action logic. J. Log. Comput. Laura Giordano, Alberto Martelli, Camilla Schwind
1998	B	`conf`	A Conditional Logic for Belief Revision. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti
1998	J	`jnl`	A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. Matteo Baldoni, Laura Giordano, Alberto Martelli
1998	B	`conf`	A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX Matteo Baldoni, Laura Giordano, Alberto Martelli
1998	J	`jnl`	Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. Laura Giordano, Nicola Olivetti
1998	A	`conf`	Dealing with Concurrent Actions in Modal Action Logics. ECAI Laura Giordano, Alberto Martelli, Camilla Schwind
1997	—	`conf`	Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski
1996	—	`conf`	A Framework for a Modal Logic Programming. JICSLP Matteo Baldoni, Laura Giordano, Alberto Martelli
1996	J	`jnl`	A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1996	—	`conf`	An Abductive Proof Procedure for Conditional Logic Programming. FAPR Laura Giordano, Alberto Martelli, Maria Luisa Sapino
1996	—	`conf`	An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
1996	J	`jnl`	Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. J. Log. Program. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
1996	—	`conf`	Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP Matteo Baldoni, Laura Giordano, Alberto Martelli
1995	J	`jnl`	A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Comput. Intell. Laura Giordano, Alberto Martelli
1995	B	`conf`	Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1995	—	`conf`	Three-Valued Semantics for Extended Logic Programs. GULP-PRODE Piero A. Bonatti, Laura Giordano
1994	—	`conf`	A Modal Extension of Logic Programming. GULP-PRODE (2) Matteo Baldoni, Laura Giordano, Alberto Martelli
1994	—	`conf`	A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming Matteo Baldoni, Laura Giordano, Alberto Martelli
1994	B	`conf`	Conditonal Logic Programming. ICLP Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1994	J	`jnl`	On Cumulative Default Logics. Artif. Intell. Laura Giordano, Alberto Martelli
1994	J	`jnl`	Structured Prolog: A Language for Structured Logic Programming. Softw. Concepts Tools Laura Giordano, Alberto Martelli
1994	J	`jnl`	Structuring Logic Programs: A Modal Approach. J. Log. Program. Laura Giordano, Alberto Martelli
1993	—	`conf`	A Multimodal Logic to Define Modules in Logic Programming. ILPS Matteo Baldoni, Laura Giordano, Alberto Martelli
1993	B	`conf`	A Semantics for Eshghi and Kowalski's Procedure. ICLP Laura Giordano, Alberto Martelli, Maria Luisa Sapino
1993	C	`conf`	Defining Variants of Default Logic: a Modal Approach. ISMIS Laura Giordano
1992	—	`conf`	A Modal Framework for Structured Logic Programs. ELP Laura Giordano, Alberto Martelli
1992	J	`jnl`	Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. Laura Giordano, Alberto Martelli, Gianfranco Rossi
1992	—	`conf`	Negation as Failure in Intuitionistic Logic Programming. JICSLP Laura Giordano, Nicola Olivetti
1991	—	`conf`	A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP Laura Giordano, Alberto Martelli
1991	—	`conf`	Negation as Failure and Constraints through Abduction and Defaults. AI*IA Laura Giordano, Alberto Martelli, Maria Luisa Sapino
1990	A	`conf`	An Abductive Characterization of the TMS. ECAI Laura Giordano, Alberto Martelli
1990	B	`conf`	Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP Laura Giordano, Alberto Martelli
1990	—	`conf`	Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) Laura Giordano, Alberto Martelli
1988	—	`conf`	Local Definitions with Static Scope Rules in Logic Programming. FGCS Laura Giordano, Alberto Martelli, Gianfranco Rossi