Publications of Laura Giordano

Publications of Laura Giordano

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non commercial basis. Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

My publications on DBLP

2023

M. Alviano, F. Bartoli, M. Botta, R. Esposito, L. Giordano and D. Theseider Dupré: A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. Journal of Approximate Reasoning, vol. 164, Jan 2024, https://doi.org/10.1016/j.ijar.2023.109065.

M. Alviano, L. Giordano and D. Theseider Dupré: Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. In Proc. Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14281, Springer 2023, pages 481:497, ISBN 978-3-031-43618-5

M. Alviano, L. Giordano and D. Theseider Dupré: Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). In Proc. DL 2023 (36th International Workshop on Description Logics, DL 2023), Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023.

M. Alviano, L. Giordano and D. Theseider Dupré: Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. In Proc. NMR 2023 (21st International Workshop on Non-Monotonic Reasoning), pages 4-13, Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings 3464, CEUR-WS.org 2023.

M. Alviano, L. Giordano and D. Theseider Dupré: Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. In Proc. CILC 2023 (38th Italian Conference on Computational Logic), Udine, Italy, June 21-23, CEUR Workshop Proceedings 3428, CEUR-WS.org 2023.

2022

L. Giordano and D. Theseider Dupré: An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. Theory and Practice of Logic Programming 2022, https://www.doi.org/10.1017/S1471068422000163.

L. Giordano, V. Gliozzi and D. Theseider Dupré: A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. Journal of Logic and Computation, Volume 32, Issue 2, March 2022, Pages 178–205, https://doi.org/10.1093/logcom/exab082

L. Giordano: From weighted conditionals with typicality to a gradual argumentation semantics and back. 20th Int. Workshop on Non-Monotonic Reasoning, NMR 2022, Haifa, 7-19 August, 2022. An Extended Abstract has been presented in CILC 2022, Bologna, June 29 – July 1, 2022.

L. Giordano and D. Theseider Dupré: Reasoning about actions in EL ontologies in a Temporal Action Theory. Accepted in 16^th Int. Conf. on Logic Programming and Non-monotonic reasoning, LPNMR 2022, Genova, 5-9 Sept., 2022.

L. Giordano and D. 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).

2021

L. Giordano and V. Gliozzi: A reconstruction of the multipreference closure. Artificial Intelligence, vol. 290, Jan 2021, https://doi.org/10.1016/j.artint.2020.103398.

L. Giordano and D. Theseider Dupré: Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. In Proc. Jelia 2021 (17th Edition of the European Conference on Logics in Artificial Intelligence), May 17-20, 2021, Klagenfurt, Austria, https://doi.org/10.1007/978-3-030-75775-5_16 (an extended TR in arXiv:2012.13421v2).

L. Giordano, V. Gliozzi and D. Theseider Dupré: A conditional, a fuzzy and a probabilistic interpretation of self-organising maps, arXiv:2103.06854 (11 Mar 2021).

L. Giordano: On the KLM properties of a fuzzy DL with Typicality. In ECSQARU 2021 (16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, September 21-24, 2021), LNCS 12897, pages 557-571, Springer (a preliminary version in CoRR abs/2106.00390 ).

L. Giordano, V. Gliozzi and D. Theseider Dupré: From Common Sense Reasoning to Neural Network Models, through Multiple Preferences: an Overview, Proc. 19^th International Workshop on Non-Monotonic Reasoning (NMR-2021), November 3-5 2021, Hanoi, Vietnam (virtually), pages 203–212, https://sites.google.com/view/nmr2021/home (a preliminary version in CoRR abs/2107.04870).

2020

L. Giordano and A. Policriti: Adding the Power-Set to Description Logics, Theoretical Computer Science 813: 155-174 (2020) Theoretical Computer Science 813: 155-174 (2020), doi.org/10.1016/j.tcs.2019.10.049.

L. Giordano and D. Theseider Dupré: An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Theory and Practice of Logic programming, TPLP, Vol 10, issue 5, pages 751-766, DOI: https://doi.org/10.1017/S1471068420000381 (online appendix in CoRR abs/2006.04387 (2020), arXiv:2006.04387 ).

L. Giordano and V. Gliozzi: Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. Fundam. Informaticae 176(3-4): 235-269 (2020), https://doi.org/10.3233/FI-2020-1973. Fundamenta Informaticae, IOS Press (preliminary version in Technical Report TR-INF-2020-03-01-UNIPMN).

Laura Giordano and Daniele Theseider Dupré: A framework for a modular multi-concept lexicographic closure semantics. 18th International Workshop on Non-Monotonic Reasoning, NMR2020, September 12th-14th - Rhodes, Greece. TR-INF-2020-09-03-UNIPMN .

Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupré: On a plausible concept-wise multipreference semantics and its relations with self-organising maps. 35th Italian Conference on Computational Logic (CILC 2020), 12-15 October, 2020, Rende, Italy In CEUR Workshop Proceedings vol. 2710, pp. 127-140.

Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupré: Towards a Conditional Interpretation of Self Organising Maps. Proc. Italian Workshop on Explainable Artificial Intelligence, XAI.it 2020 , co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020). In CEUR Workshop Proceedings vol. 2742, pp. 127-134.

2019

Laura Giordano and Valentina Gliozzi: A reconstruction of the multipreference closure. CoRR abs/1905.03855 (2019), https://arxiv.org/abs/1905.03855.

Matteo Baldoni and Laura Giordano and Ken Satoh: Renvoi in Private International Law: a Formalization with Modal Contexts. Proc. Jurix 2019, 32nd International Conference on Legal Knowledge and Information Systems, Madrid, Spain, December 11-13, 2019.

Laura Giordano and Valentina Gliozzi: Reasoning about exceptions in ontologies: An approximation of the multipreference semantics. Proc. ECSQARU 2019, 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Belgrade, Serbia, September 18-20 , 2019, Volume 11726 LNAI, 2019, Pages 212-225, Springer.

Laura Giordano and Valentina Gliozzi: Strengthening the Rational Closure for Description Logics: An Overview. In CILC 2019, CEUR Workshop Proceedings vol. 2396, pages 68-81. Trieste, Italy, June 19-21, 2019.

Laura Giordano and Alberto Policriti: Extending ALC with the Power-Set Construct. In Proc. JELIA 2019, Logics in Artificial Intelligence - 16th European Conference, Rende, Italy, May 7-11, 2019, LNCS 11468, pages 387-398, Springer.

2018

Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Towards a Rational Closure for expressive Description Logics: the case of SHIQ. Fundamenta Informaticae 159 (2018), pages 95-122, IOS Press 2018, DOI: http://dx.doi.org/10.3233/FI-2018-1659 (preliminary version)

Laura Giordano and D. Theseider Dupré, Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure. Fundamenta Informaticae, 161 (2018), pages 135-161. IOS Press 2018. DOI: 10.3233/FI-2018-1698

Laura Giordano and D. Theseider Dupré, Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming. BPM (Forum), Sidney, Australia, September 9-14, 2018: 71-88, Lecture Notes in Business Information Processing, vol. 329, 2018, Springer.

Laura Giordano and Valentina Gliozzi: Reasoning about multiple aspects in DLs: Semantics and Closure Construction, CoRR abs/1801.07161(2018), http://arxiv.org/abs/1801.07161 .

Laura Giordano and Alberto Policriti: Power(Set) ALC, Proc. ICTCS 2018, 19th Italian Conference on Theoretical Computer Science, 18-20 September 2018, Urbino, Italy.

Laura Giordano and Valentina Gliozzi: Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR abs/1807.02879 (2018).

Laura Giordano and Alberto Policriti: Power(Set) Description Logic, Technical Report TR-INF-2018-02-02-UNIPMN dell'Università del Piemonte Orientale, Italy, February 2018.

2017

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli: An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017, CEUR Workshop Proceedings 1879, July 18-21, Montpellier, France, 2018.

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli: RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. Proc. ICTCS/CILC 2017, CEUR Workshop Proceedings 1949, pages 306-320. Naples, Italy, September 26-28, 2017.

Laura Giordano: Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract). Proc. ICTCS/CILC 2017, CEUR Workshop Proceedings 1949, pages 6-10, Naples, Italy, September 26-28, 2017.

2016

L. Giordano and D. Theseider Dupré. ASP for Minimal Entailment in a Rational Extension of SROEL. In Theory and Practice of Logic programming, TPLP , Volume 16 - Issue 5-6 - September 2016, DOI: http://dx.doi.org/10.1017/S1471068416000399 .

L. Giordano and D. Theseider Dupré. Reasoning in a Rational Extension of SROEL (Extended Abstract). In DL 2016, 29th International Workshop on Description Logics, April 22-25 2016, Cape Town, South Africa. CEUR Workshop Proceedings 1577 , pages 1-4.

L. Giordano and D. Theseider Dupré. Reasoning in a Rational Extension of SROEL. In CILC 2016, 31-esimo Convegno Italiano di Logica Computazionale, June 20-22, 2016, Milano, Italy, CEUR Workshop Proceedings 1645, pages 53-68.

L. Giordano, A. Martelli and D. Theseider Dupré. ASP for reasoning about actions with an EL^bottom knowledge base. In CILC 2016, 31-esimo Convegno Italiano di Logica Computazionale, June 20-22, 2016, Milano, Italy, CEUR Workshop Proceedings 1645, pages 214-229 (a preliminary version was presented at ASPOCP 2015).

2015

Anselma Luca, Bottrighi Alessio, Giordano Laura, Hommersom Arjen, Molino Gianpaolo, Montani Stefania, Terenziani Paolo, Torchio Mauro: A Hybrid Approach to the Verification of Computer Interpretable Guidelines. In: P. Lucas and A. Hommerson, Foundations of Biomedical Knowledge Representation, vol. LNAI 9521, Springer, p. 287-315 (2015).

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Semantic characterization of rational closure: From propositional logic to description logics. Artificial Intelligence, 226: 1-33 (2015), doi 10.1016/j.artint.2015.05.001.

L. Giordano, A. Martelli and D. Theseider Dupré. Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. In Journal of Logic and Computation 25(6):1307-1330 (2015), Published online: 31 December 2013, doi:10.1093/logcom/ext067 .

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. In Description Logics 2015, Athens,Greece, June 7-10, 2015. CEUR Workshop Proceedings 1350 .

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti. A Multi-engine Theorem Prover for a Description Logic of Typicality. In AI*IA 2015,Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, LNAI 9336, pp. 164-178, Springer.

Laura Giordano and Valentina Gliozzi. Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. In ISMIS 2015, Foundations of Intelligent Systems - 22nd International Symposium, Lyon, France, October 21-23, 2015, LNCS 9384, pp. 248-258, Springer.

2014

V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato. Logics in access control: a conditional approach. In Journal of Logic and Computation , 24(4): 705-762 (2014), doi: 10.1093/logcom/exs040 .

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Rational Closure in SHIQ. In Description Logics 2014: 543-555, 17-20 July 2014, Vienna. CEUR Workshop Proceedings 1193 .

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Minimal models for rational closure in SHIQ. In ICTCS 2014: 271-277, Perugia, September 17-19th 2014. CEUR Workshop Proceedings 1231 .

Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupré. Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. In KR4HC@VSL 2014: 62-77, Vienna July 21, 2014, LNCS 8903, Springer.

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. In 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014: 368, Verona, Italy, September 15-17, 2014, doi 10.1109/ICHI.2014.63.

2013

L. Giordano, A. Martelli, D. Theseider Dupré. Reasoning about Actions with Temporal Answer Sets, In Theory and Practice of Logic programming, TPLP, Vol. 13, No. 2, March 2013, http://dx.doi.org/10.1017/S1471068411000639 (Published online: 25 January 2012)

L. Giordano, V. Gliozzi, N. Olivetti and G. L. Pozzato. A nonmonotonic description logic for reasoning about typicality. Artificial Intelligence 195: 165-202 (2013), http://dx.doi.org/10.1016/j.artint.2012.10.004 (Published online: 11 October 2012)

L.Giordano, A. Martelli, M. Spiotta and D. Theseider Dupré. Business Processes Verification with Constraint Temporal Answer Set Programming, In Theory and Practice of Logic programming, TPLP, 13(4-5), pp 641-655, DOI: http://dx.doi.org/10.1017/S1471068413000409

L. Giordano, V. Gliozzi, N. Olivetti and G. L. Pozzato. Rational Closure for Description Logics of Typicality. IAF 2013, Aix en Provence, 12 - 14 June 2013, PDF.

L. Giordano, V. Gliozzi, N. Olivetti and G. L. Pozzato. Minimal Model Semantics and Rational Closure in Description Logics. 26th International Workshop on Description Logics, DL 2013, Ulm, 23-26 July 2013.

L.Giordano, A. Martelli and D. Theseider Dupré. Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP, ICAIL 2013, 14th International Conference on Artificial Intelligence & Law , Rome, 10-14 June 2013, pp. 53-62 (a preliminary version in PDF ).

Terenziani, P., Bottrighi, A., Giordano, L., Franceschinis, G., Montani, S., Portinale, L., and Theseider Dupré D. Towards a second generation of computer interpretable guidelines , 2nd International Conference on Data Technologies and Applications, DATA 2013,, Reykjavik; Iceland; 29-31 July 2013.

2012

L. Giordano, V. Gliozzi, N. Olivetti and G. L. Pozzato. A Minimal Model Semantics for Nonmonotonic Reasoning. In Proc. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012 , Toulouse, France, September 26-28, 2012. LNCS 7519 Springer 2012, ISBN 978-3-642-33352-1.

D. D'Aprile, L. Giordano, D. Rognone, and D.Theseider Dupré. Business process compliance verification: combining Action Theories with CPNs, ITAIS 2012, IX Conference of the Italian Chapter of AIS Organization change and Information Systems: Working and living together in new ways , Rome - Italy, 28-29 September, 2012.

L.Giordano, A. Martelli and D. Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP, Proceedings of KR 2012: 13th International Conference Principles of Knowledge Representation and Reasoning, Rome 10-14 June 2012.

L.Giordano, A. Martelli, M. Spiotta and D. Theseider Dupré. Business Processes Verification with Temporal Answer Set Programming, Proceedings KIBP 2012: 1st International Workshop on Knowledge-intensive Business Processes, volume 861 of CEUR , Rome 15 June 2012.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A minimal model semantics for rational closure. In Riccardo Rosati and Stefan Woltran, editors, Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, to appear, Roma, Italy, June 8-10 2012. Proceedings are available online at http://www.dbai.tuwien.ac.at/NMR12/proceedings.html

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. In Yevgeny Kazakov and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL 2012), volume 846 of CEUR , pages 180-190, Roma, Italy, June 2012.

L. Giordano, A. Martelli and D. Theseider Dupré. Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. In Francesca Alessandra Lisi and Fabio Patrizi, editors, Proceedings of CILC 2012 (27th Convegno Italiano di Logica Computazionale), volume 857 of CEUR , pages 176-190, Roma, Italy, June 2012.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A modal reconstruction of Rational Closure. In Francesca Alessandra Lisi and Fabio Patrizi, editors, Proceedings of CILC 2012 (27th Convegno Italiano di Logica Computazionale), volume 857 of CEUR , pages 161-175, Roma, Italy, June 2012.

2011

L.Giordano, A. Martelli, D. Theseider Dupré. Reasoning about Actions with Temporal Answer Sets, In arXiv:1110.3672 [cs.AI]

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality in low complexity DLs: the logics EL bot T min and DL-lite T min, In Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), page 894-899, Barcelona, Spain, July 2011.

V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A conditional constructive logic for access control and its sequent calculus , In K. Br\"unnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNCS, Bern, Switzerland, July 2011. Springer-Verlag, pages 164-179.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of EL^ bot , In K. Br\"unnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNCS, Bern, Switzerland, July 2011. Springer-Verlag, pges 180-195.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of EL^ bot A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite-core , In K. Br\"unnler and G. Metcalfe, editors, Proceedings of AI*IA 2011 (XIIth International Conference of the Italian Association for Artificial Intelligence), Palermo, Italy, September 15-17, 2011, Springer-Verlag, LNCS 6934, pages 164-176.

GIORDANO L., V. GLIOZZI, N. OLIVETTI, G.L. POZZATO AND C. SCHWIND. Non-classical logics for knowledge representation and reasoning, INTELLIGENZA ARTIFICIALE, vol. 5; p. 127-131, ISSN: 1724-8035

D. D'Aprile, L. Giordano, A. Martelli, G.L. Pozzato, D. Rognone and D. Theseider Dupré Business process compliance verification: an annotation based approach with commitments , in ITAIS 2011 (Information Systems: a crossroads for Organization, Management, Accounting and Engineering), Rome - Italy, October 7-8, 2011. ISBN: 978-3-7908-2788-0

L.Giordano, A. Martelli, D. Theseider Dupré. Verifying properties of action theories by bounded model checking, in NRAC 2011 (9th International Workshop on Nonmonotonic Reasoning, Action and Change), Barcellona, Spain, July 2011.

D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G.L. Pozzato, D. Theseider Dupré. Verifying Compliance of Business Processes with Temporal Answer Sets, in CILC 2011 (26th Convegno Italiano di Logica Computazionale), Pescara, Italy, September 2011, CEUR workshpo proceedings , vol. 810.

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Nonmonotonic Extensions of Low Complexity DLs: Complexity Results and Proof Methods, in CILC 2011 (26th Convegno Italiano di Logica Computazionale), Pescara, Italy, September 2011, CEUR workshpo proceedings , vol. 810.

2010

A. Bottrighi, L. Giordano, G. Molino, S. Montani, P. Terenziani, M. Torchio. Adopting model checking techniques for clinical guidelines verification, Artificial Intelligence in Medicine , Volume 48, Issue 1, Pages 1-19, 2010 (http://dx.doi.org/10.1016/j.artmed.2009.09.003)

L. Giordano, F. Toni, Knowledge representation and non-monotonic reasoning , in Twenty-five Years of Logic Programming in Italy, Agostino Dovier and Enrico Pontelli ed., LNCS 6000, Springer, 2010.

GIORDANO L., GLIOZZI V, OLIVETTI N, POZZATO G.L A Nonmonotonic Extension of KLM Preferential Logic P , In: LPAR-17, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference - LNCS 6397. Yogyakarta, Indonesia, October 10-15, 2010, p. 317-332

D'APRILE D, GLIOZZI V, GIORDANO L., MARTELLI A, OLIVETTI N, POZZATO G. L, D. THESEIDER DUPERE. Verifying Business Process Compliance by Reasoning about Actions , In: CLIMA XI: Computational Logic in Multi-Agent Systems, 11th International Workshop - LNAI 6245. Lisbon, Portugal, August 16-17, 2010, p. 99-116

GENOVESE V, GIORDANO L., GLIOZZI V, POZZATO G. L. A constructive conditional logic for access control: a preliminary report , In: ECAI 2010 (19th European Conference on Artificial Intelligence). Lisbon, Portugal, August 16-20, 2010, p. 1073-1074

GIORDANO L., GLIOZZI V, OLIVETTI N, POZZATO G. L. Preferential vs Rational Description Logics: which one for Reasoning About Typicality? , In: ECAI 2010 (19th European Conference on Artificial Intelligence). Lisbon, Portugal, August 16-20, 2010, p. 1069-1070

GENOVESE V, GIORDANO L., GLIOZZI V, POZZATO G. Logics in Access Control: A Conditional Approach , In D. Gabbay and L. van der Torre. In: LIS 2010 (1st Workshop of Logics in Security). Copenhagen., August 9th - 13th, 2010

GIORDANO L., A. MARTELLI, D. THESEIDER Dupré. Reasoning about Actions with Temporal Answer Sets , In: CILC 2010 (25-esimo Convegno Italiano di Logica Computazionale)- CEUR Workshop Proceedings , Rende (CS), Italy, July 2010, vol. 598

GENOVESE V, GIORDANO L., GLIOZZI V, POZZATO G. L. A constructive conditional logic for access control: a completeness result and a sequent calculus , In: CILC 2010 (25-esimo Convegno Italiano di Logica Computazionale)- CEUR Workshop Proceedings , Rende (CS), Italy, July 2010, vol. 598, p. 1-15 (pdf)

GIORDANO L., V. GLIOZZI, N. OLIVETTI, AND G. L. POZZATO. Preferential vs Rational Description Logics: which one for Reasoning About Typicality? , In: CILC 2010 (25-esimo Convegno Italiano di Logica Computazionale)- CEUR Workshop Proceedings . Rende (CS), Italy, July 2010, vol. 598

2009

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, ALC+T: a Preferential Extension of Description Logics. Fundamenta Informaticae, Vol. 96, N. 3, pages 341-372, IOS Press, 2009 ( doi:10.3233/FI-2009-182).

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. ACM Transactions on Computational Logics (TOCL) 10(3): (2009) (doi:10.1145/1507244.1507248)

L. Giordano, V. Gliozzi, N. Olivetti and C. Schwind, Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions.ACM Transactions on Computational Logics (TOCL) 10(3): (2009)

(doi:10.1145/1507244.1507251)

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Reasoning About Typicality in ALC and EL , Description Logics 2009

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Reasoning about typicality with low complexity Description Logics: the logic EL+T, AI*IA 2009, LNAI 5883, pp. 62-71, Springer, 2009.

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: LNAI 5753 Springer 2009, pp.430-436

2008

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Reasoning About Typicality in Preferential Description Logics, JELIA 2008 (11th European Conf. on Logics in Artificial Intelligence), Dresden, Germany, 28 September - 1 October, 2008 (pdf).

L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: Reasoning About Typicality in Description Logics. In Proceedings of CILC 2008 (23-esimo Convegno Italiano di Logica Computazionale), 10-12 July 2008.

L. Giordano and A. Martelli. Verifying Agents Conformance with Multiparty Protocols. In Computational Logic in Multi-Agent Systems, 9th Int. Workshop, CLIMA IX, Dresden , Germany, September 2008, LNAI 5405, pp. 17- 36, Springer.

L. Giordano and A. Martelli. Verifying the Conformance of Agents with Multiparty Protocols. Accepted as a Poster at ECAI 2008, Patras, Greece, 21-25 July 2008.

2007

L. Giordano, A. Martelli and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic. In Journal of Applied Logic (Special issue on Logic Based Agent Verification), Volume 5, Issue 2, June 2007, Pages 214-234 ( 10.1016/j.jal.2005.12.011).

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, KLMLean 2.0: a Theorem Prover for KLM Logics of Nonmonotonic Reasoning, TABLEAUX 2007, Aix en Provence, France, 3-6 July, 2007.

L. Giordano, V. Gliozzi, N. Olivetti and G.L. 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, Roma, Italy, 10-13 September, 2007.

L. Giordano and A. Martelli , Verifying Agent Conformance with Protocols specified in a Temporal Action Logic. AI*IA 2007, Roma, Italy, 10-13 September, 2007.

Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani, Automatic Checking of the Correctness of Clinical Guidelines in GLARE, Proc. MEDINFO 2007, Brisbane, Australia, 2007.

L. Giordano, A. Bottrighi, S. Montani and P. Terenziani. Applying AI model-checking techniques to clinical guidelines. Poster at MEDINFO 2007, Brisbane, Australia, 18-24 August 2007.

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations, Convegno Italiano di Logic Computazionale, CILC 2007, Messina, 21-22 Giugno 2007

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Extensions of Description Logic to Reason about Typicality, Methods for Modalities (M4M), Paris, November 2007.

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Preferential Description Logics. LPAR 2007: 257-272.

2006

L. Giordano and A. Martelli, Tableau-Based Automata Construction for Dynamic Linear Time Temporal Logic, Annals of Mathematics and Artificial Intelligence , 46(3): 289-315 (2006) ( 10.1007/s10472-006-9020-7).

L. Giordano, A.Martelli and C.Schwind, Specialization of Interaction Protocols in a Temporal Action Logic. Electr. Notes Theor. Comput. Sci., 157(4): 3-22 (2006) ( doi:10.1016/j.entcs.2006.02.010).

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato. Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006, Liverpool, 13-15 September 2006 .

L. Giordano, P. Terenziani, A. Bottrighi, S. Montani, L. Donzella. Model Checking for Clinical Guidelines: an Agent-based Approach. AMIA 2006, accepted for publication, Washington, 11-15 November 2006.

P. Terenziani, L. Giordano, A. Bottrighi, S. Montani, L. Donzella. SPIN Model Checking for the Verification of Clinical Guidelines. ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols, Riva del Garda, 29 August 2006.

L. Giordano and A. Martelli, Web Service Composition in a Temporal Action Logic, 4th Int. Workshop on AI for Service Composition, AISC2006, held in conjunction with ECAI 2006, Riva del Garda, 28 August 2006.

A. Martelli and L. Giordano, Reasoning About Web Services in a Temporal Action Logic , in Reasoning, Action and Interaction in AI Theories and Systems, LNAI 4155, Springer, 2006.

L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Automated Deduction for Logics of Default Reasoning (Extended Abstract), accepted as a Poster at ECAI06, Riva del Garda, Aug 28th - Sept 1st 2006.

A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, S. Storari, F. Chesani, A. Ciampolini, P. Mello, M. Montali, P. Torroni, A. Bottrighi, L. Giordano, V. Gliozzi, D. Theseider Duprè, P. Terenziani , G. Casella,V. Mascardi, Modeling, verifying and reasoning about web services (Extended Abstract), accepted as a Poster at ALPSWS06.

2005

L. Giordano, V. Gliozzi and N. Olivetti. Weak AGM postulates and strong Ramsey test: a logical formalization. Artificial Intelligence, 168(2005) 1-37 ( doi:10.1016/j.artint.2005.06.004).

L. Giordano, V. Gliozzi, N. Olivetti and G. Pozzato. Analytic Tableaux for KLM Preferential and Cumulative Logics. 12th Int. Conf on Logic Programming and Automated Reasoning, LPAR 2005, 2nd-6th December 2005, Montego Bay, Jamaica. To appear (pdf). A preliminary version was presented as a position paper, in Tableaux 2005, Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, 14-16 september 2005.

L. Giordano, A. Martelli, C. Schwind. Specialization of Interaction Protocols in a Temporal Action Logic, LCMAS’05 (3rd Int. Workshop on Logic and Communication in Multi-Agent Systems), Edinburgh, 1st of August 2005 (ps).

L. Giordano, V. Gliozzi, N. Olivetti and C.Schwind. Extensions of Tableau calculi for preference-based conditional logics. Methods for Modalities" (M4M), 1-2 December 2005, Berlin.

L. Giordano, A. Martelli, P. Terenziani, A. Bottrighi, S. Montani. A temporal approach to the specification and verification of Interaction Protocols. In Proceedings of WOA 2005, Corradini, F. De Paoli, E. Merelli e A. Omicini eds. Pitagora Editrice Bologna, Camerino 14-16 Dec. 2005. ISBN 88-371-1590-3.

2004

L. Giordano and C. Schwind. Conditional Logic of Actions and Causation. Artificial Intelligence, Vol 157/1-2, pp.239-279, 2004 ( doi:10.1016/j.artint. 2004.04.009).

M. Baldoni, A. Martelli, V. Patti and L. Giordano. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence , vol. 41, No. 2-4, pp.207-257, 2004. doi:10.1023/B:AMAI.0000031196.24935.b5)

L. Giordano and A. Martelli. On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic. Proc. 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), IEEE Computer Society, Tatihou, Basse Normandie, France, 1-3 July 2004.

L. Giordano, A. Martelli, C. Schwind. Verifying Communicating Agents by Model Checking in a Temporal Action Logic, JELIA'04 (10th European Conf. on Logics in Artificial Intelligence), LNAI 3229, Lisbon, September 2004.

2003

Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. Reasoning about communicating agents in the semantic web. In F. Bry, N. Henze, and J. Maluszynski, editors, Proc. of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2003, volume 2901 of LNCS, pages 84-98, Mumbai, India, December 2003. Springer.

L. Giordano, V. Giozzi, N. Olivetti, and C. Schwind. Tableau Calculi for Preference-Based Conditional Logics. In Proc. of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, pages 81-101. Springer, 2003.

L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, volume 2829 of LNAI, pages 262-274. Springer-Verlag, 2003.

2002

L. Giordano, V. Gliozzi and N. Olivetti. Iterated Belief Revision and Conditional Logic In Studia Logica , Special issue on Belief Revision, Vol.70, No. 1, pp.23-47, 2002 (doi: 10.1023/A:1014602224874).

L.Giordano and C.Schwind. Towards a conditional logic of actions and causation. In Proc. 9th Intl. Workshop on Non-Monotonic Reasoning, NMR-2002, Toulouse, April 20, 2002.(PS)

L.Giordano and C.Schwind. Towards a conditional logic of actions and causation. In Proc. 8th European Conf. on Logics in Artificial Intelligence, JELIA'02, LNAI 2424, Cosenza, Sept. 2002, Springer.

2001

L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in Dynamic Linear Time Temporal Logic. In Logic Journal of the IGPL, Vol. 9, No. 2, pp. 289-303, March 2001 ( doi: 10.1093/jigpal/9.2.273 ).

L. Giordano, V. Gliozzi, and N. Olivetti. Belief Revision and the Ramsey Test: a Solution. In Proc. AI*IA'01: Advances in Artificial Intelligence. LNAI 2175. Bari, September 2001.

L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in a Multiagent Domain. In Proc. AI*IA'01: Advances in Artificial Intelligence. LNAI 2175. Bari, September 2001.

M. Baldoni, L. Giordano, A. Martelli and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: a Modal Approach. In Proc. ICTCS'01, LNCS 2202, pp 405-425, Torino, October 2001.

2000

L. Giordano, A. Martelli, and C. Schwind. Ramification and Causality in a Modal Action Logic, Journal of Logic and Computation, 10(5):625-662, 2000 (doi: 10.1093/logcom/10.5.625 ).

D.M.Gabbay, L.Giordano, A.Martelli, N.Olivetti and M.L.Sapino. Conditional Reasoning in Logic Programming. In Journal of Logic Programming, special issue on Abduction, M.Denecker and A.Kakas (ed.), 44(2000)37-74.(JLP Open Archive)

L.Giordano, V.Gliozzi and N.Olivetti. A conditional Logic for Iterated Belief Revision. In Proc. 14th European Conference on Artificial Intelligence, ECAI 2000, Berlin .

L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in Dynamic Linear Time Temporal Logic. In FAPR 2000, Int. Conf. on Pure and Applied Practical Reasoning, London, September 2000.(PostScript)

M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling agents in a logic action language. In Proc. of Workshop on Practical Reasoning Agents, FAPR2000, London, September 2000.

1998

M. Baldoni, L. Giordano and A. Martelli. A Modal Extention of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning, Journal of Logic and Computation, 8(5):597-635, 1998. (doi: 10.1093/logcom/8.5.597)

L. Giordano and N. Olivetti. Combining Negation as Failure and Embedded Implications in Logic Programs. Journal of Logic Programming, 36(2):91-147, 1998.(JLP Open Archive)

M. Baldoni, L. Giordano and A. Martelli. A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. In H. de Swart, editor, Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of LNAI, pages 44-59. Springer-Verlag, 1998.

Anthony J. Bonner, Burkhard Freitag, Laura Giordano: "DYNAMICS 98: Proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases; Joint International Conference and Symposium on Logic Programming JICSLP'98", Manchester, UK, June 20, 1998.

M. Baldoni, L. Giordano, A. Martelli and V. Patti. A Modal Programming Language for Representing Complex Actions. In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98, Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98, pages 1-15, Manchester, UK, June 1998. Technical Report MPI-9808.

L. Giordano, V. Gliozzi and N. Olivetti. A Conditional Logic for Belief Revision. In Proc. of the Sixth European Workshop on Logic in Artificial Intelligence, JELIA'98, volume 1489 of LNAI, pages 294-308, Dagstuhl, 1998.

L. Giordano, A. Martelli and C. Schwind. Dealing with Concurrent Actions in Modal Action Logics. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence, ECAI'98, pages 537-541, Brighton, UK, 1998. John Wiley & Sons.

1997

M. Baldoni, L. Giordano, A. Martelli and V. Patti. An Abductive Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the 2nd International Workshop on Non-Monotonic Extentions of Logic Programming, NMELP'96,volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997.

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

1996

L. Giordano, A. Martelli and M.L. Sapino. Extending negation as failure by abduction: a 3-valued stable model semantics. Journal of Logic Programming, 26(1):31-67, 1996, Elsevier Science, Amsterdam (JLP Open Archive).

D. M. Gabbay, L. Giordano, A. Martelli and N. Olivetti. A language for handling hypothetical updates and inconsistency. Logic Journal of the IGPL, 4(3):385-416, 1996 (doi: 10.1093/jigpal/4.3.385).

M. Baldoni, L. Giordano and A. Martelli. A Framework for Modal Logic Programming. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, September 2-6, 1996. The MIT Press.

L. Giordano, A. Martelli and M. L. Sapino. An Abductive Proof Procedure for Conditional Logic Programming. In Proc. 1st Int. Conf. on Formal and Applied Practical Reasoning, FAPR'96, June 3-7, 1996, Bonn, volume 1085 of LNAI, pages 231-245, 1996.

M. Baldoni, L. Giordano, and A. Martelli. Translating a modal language with embedded implication into Horn clauses logic. In Proc. Int. Workshop on Extensions of Logic Programming, ELP’96 , March 28 - 30, 1996, Leipzig, Germany, LNAI 1050, Springer Verlag, pages 19–33, 1996.

1995

D. M. Gabbay, L. Giordano, A. Martelli and N. Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In V. W. Marek, A. Nerode, and M. Truszczynsky, editors, Proc. 3rd Int. Conference on Logic Programming and Non-Monotonic Reasoning, volume 928 of LNCS, pages 203-216, Lexington, KY, USA, June 26-28, 1995. Springer-Verlag.

L. Giordano and A. Martelli. A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence, 11(1):11-46, 1995 ( DOI: 10.1111/j.1467-8640.1995.tb00022.x ).

1994

L. Giordano and A. Martelli. On Cumulative Defaults Logics. Artificial Intelligence, 66:161-179, 1994 ( doi:10.1016/0004-3702(94)90006-X).

L. Giordano and A. Martelli. Structuring logic programs: a modal approach. Journal of Logic Programming, 21(2):59–94, 1994, Elsevier Science, Amsterdam (JLP Open Archive).

L. Giordano, A. Martelli, and G.F. Rossi. Structured prolog: A language for structured logic programming. Software - Concept and Tools, 15:125–145, 1994.

D.M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th Int. Conf. on Logic Programming, ICLP94, Santa Marherita Ligure, Italy, June 13-18, 1994, pages 272–289. MIT Press, 1994.

M. Baldoni, L. Giordano, and A. Martelli. A modal extension of logic programming. In Proc. ICLP Post-Conference Workshop on Proof-Theoretical Extensions of Logic Programming, pages 48–54, Santa Margherita Ligure, 1994.

D.M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates and inconsistency in logic programming. In Proc. ECAI’94 Workshop on Logic and Change, Amsterdam, 1994.

1993

M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, ILPS'93, pages 473–487, Vancouver, British Columbia, Canada, October 26-29, 1993, MIT Press, Vancouver, 1993.

L. Giordano. Defining variants of default logic: A modal approach. In Proc. Int. Conf. on Methodologies for Intelligent Systems ISMIS'93 -LNCS 689, pages 59–68, Trondheim, Norway, June 15-18, 1993. Springer-Verlag.

L. Giordano, A. Martelli and M.L. Sapino. A semantics for Eshghi and Kowalski’s abductive procedure. In Proc. 10th Int. Conf. on Logic Programming, ICLP93, pages 586–600, MIT Press, Budapest, 1993.

1992

L. Giordano, A. Martelli, and G.F. Rossi. Extending Horn clause logic with implication goals. Theoretical Computer Science, 95:43–74, 1992, Elsevier Science, Amsterdam doi:10.1016/0304-3975(92)90066-O).

L. Giordano and A. Martelli. A modal framework for structuring logic programs. In Proc. 3rd Int. Workshop on Extensions of Logic Programming - LNAI 660, Springer Verlag, pages 177–191, Bologna, 1992.

L. Giordano and N. Olivetti. Negation as failure in intuitionistic logic programming. In Proc. Joint International Conference and Symposium on Logic Programming (JICSLP) 1992, pages 431–445, MIT Press, Washington DC, November 1992.

1991

L. Giordano and A. Martelli. A modal reconstruction of blocks and modules in logic programming. In Proc. International Logic Programming Symposium, pages 239–253, MIT Press, San Diego, CA, USA, 28 October - 1 November 1991.

L. Giordano, A. Martelli and M.L. Sapino. Negation as failure and constraints through abduction and defaults. In Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence - LNAI 549, pages 78–87, Palermo, 1991. Springer Verlag.

1990

L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflict resolution. In Proc. 7th Int. Conf. on Logic Programming, ICLP-90, pages 427–441, Jerusalem, Israel, June 18-20, 1990.

L. Giordano and A. Martelli. An abductive characterization of the TMS. In Proc. ECAI-90, European Conference on Artificial Intelligence, pages 308–313, Stockholm, 6-10 August 1990.

L. Giordano and A. Martelli. Truth maintenance systems and belief revision. In Proc. ECAI-90 Workshop on Truth Maintenance Systems - LNAI 515, pages 71–86. Springer Verlag, 1991.

L. Giordano and A. Martelli. Three-valued labellings for truth maintenance systems. In Proc. Int. Conf. on Methodologies for Intelligent Systems -ISMIS-90, pages 506– 513, Knoxville, 1990.

1988

L. Giordano, A. Martelli, and G.F. Rossi. Local definitions with static scope rules in logic programming. In Proc. FGCS ’88: Int. Conf. on Fifth Generation Computer Systems, Tokyo, Japan, November 28-December 2, 1988.

The electronic version of some of the papers is available from LP&AR Group Pubblications

[ Laura Giordano's HOME] [ Department's HOME]

>