No photo of Laura GIORDANO

View Scopus Profile

Laura GIORDANO

Former affiliation
 https://orcid.org/0000-0001-9445-7770
1988 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases

    Alviano, M., Giordano, L. & Theseider Dupré, D., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 481-497 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2022

    Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL

    Giordano, L., Martelli, A. & Theseider Dupré, D., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 231-244 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2021

    Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter

    Satoh, K., Giordano, L. & Baldoni, M., 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 60-75 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13040 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the KLM Properties of a Fuzzy DL with Typicality

    Giordano, L., 2021, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Proceedings. Vejnarová, J. & Wilson, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 557-571 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12897 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • User action representation and automated reasoning for the forensic analysis of mobile devices

    Anglano, C., Canonico, M., Giordano, L., Guazzone, M. & Theseider Dupre, D., 17 Aug 2021, 16th International Conference on Availability, Reliability and Security, ARES 2021. Association for Computing Machinery, 3470053. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model

    Giordano, L. & Theseider Dupré, D., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 225-242 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2020

    Reasoning about applicable law in private international law in logic programming

    Satoh, K., Baldoni, M. & Giordano, L., 1 Dec 2020, Legal Knowledge and Information Systems - JURIX 2020: 33rd Annual Conference. Villata, S., Harasta, J. & Kremen, P. (eds.). IOS Press BV, p. 281-285 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 334).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2019

    Extending$$\mathcal {ALC}$$ with the Power-Set Construct

    Giordano, L. & Policriti, A., 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer Verlag, p. 387-398 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11468 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about exceptions in ontologies: An approximation of the multipreference semantics

    Giordano, L. & Gliozzi, V., 2019, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 15th European Conference, ECSQARU 2019, Proceedings. Kern-Isberner, G. & Ognjanović, Z. (eds.). Springer Verlag, p. 212-225 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11726 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2018

    Enriched modeling and reasoning on business processes with ontologies and answer set programming

    Giordano, L. & Theseider Dupré, D., 2018, Business Process Management Forum - BPM Forum 2018, Proceedings. Montali, M., Weske, M., vom Brocke, J. & Weber, I. (eds.). Springer Verlag, p. 71-88 18 p. (Lecture Notes in Business Information Processing; vol. 329).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2015

    A multi-engine theorem prover for a description logic of typicality

    Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G. L. & Violanti, L., 2015, AIIA 2015 - Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Proceedings. Riguzzi, F., Gavanelli, M. & Lamma, E. (eds.). Springer Verlag, p. 164-178 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9336 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Encoding a preferential extension of the description logic SROIQ into SROIQ

    Giordano, L. & Gliozzi, V., 2015, Foundations of Intelligent Systems - 22nd International Symposium, ISMIS 2015, Proceedings. Esposito, F., Pivert, O., Ferilli, S., Raś, Z. W. & Hacid, M.-S. (eds.). Springer Verlag, p. 248-258 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9384).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2014

    Advances in the GINSENG project

    Terenziani, P., Bottrighi, A., Giordano, L., Franceschinis, G., Montani, S., Piovesan, L., Portinale, L., Rubrichi, S., Spiotta, M. & Dupre, D. T., 2 Mar 2014, Proceedings - 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014. Institute of Electrical and Electronics Engineers Inc., p. 368 1 p. 7052518. (Proceedings - 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology

    Spiotta, M., Bottrighi, A., Giordano, L. & Theseider Dupré, D., 2014, Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers. Teije, A. T., Miksch, S. & Riaño, D. (eds.). Springer Verlag, p. 62-77 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8903).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2013

    PreDeLo 1.0: A theorem prover for preferential Description Logics

    Giordano, L., Gliozzi, V., Jalal, A., Olivetti, N. & Pozzato, G. L., 2013, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings. p. 60-72 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8249 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Temporal deontic action logic for the verification of compliance to norms in ASP

    Giordano, L., Martelli, A. & Dupré, D. T., 2013, Proceedings of the 14th International Conference on Artificial Intelligence and Law, ICAIL 2013. p. 53-62 10 p. (Proceedings of the International Conference on Artificial Intelligence and Law).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards a second generation of computer interpretable guidelines

    Terenziani, P., Bottrighi, A., Giordano, L., Franceschinis, G., Montani, S., Portinale, L. & Dupre, D. T., 2013, DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications. p. 199-205 7 p. (DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2012

    Achieving completeness in bounded model checking of action theories in ASP

    Giordano, L., Martelli, A. & Dupré, D. T., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. Institute of Electrical and Electronics Engineers Inc., p. 618-622 5 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A minimal model semantics for nonmonotonic reasoning

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2012, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. p. 228-241 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7519 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2011

    A conditional constructive logic for access control and its sequent calculus

    Genovese, V., Giordano, L., Gliozzi, V. & Pozzato, G. L., 2011, Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings. p. 164-179 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6793 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A tableau calculus for a nonmonotonic extension of the description logic DL-Litecore

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2011, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings. p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6934 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A tableau calculus for a nonmonotonic extension of ℰℒ ⊥

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2011, Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings. p. 180-195 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6793 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about typicality in low complexity DLs: The logics EL ⊥Tminand DL-LitecTmin

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 894-899 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2010

    A constructive conditional logic for access control: A preliminary report

    Genovese, V., Giordano, L., Gliozzi, V. & Pozzato, G. L., 2010, ECAI 2010. IOS Press, p. 1073-1074 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A nonmonotonic extension of KLM preferential logic P

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Springer Verlag, p. 317-332 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preferential vs Rational description logics: Which one for reasoning about typicality?

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2010, ECAI 2010. IOS Press, p. 1069-1070 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verifying business process compliance by reasoning about actions

    D'Aprile, D., Giordano, L., Gliozzi, V., Martelli, A., Pozzato, G. L. & Theseider Dupré, D., 2010, Computational Logic in Multi-Agent Systems - 11th International Workshop, CLIMA XI, Proceedings. p. 99-116 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6245 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2009

    Prototypical reasoning with low complexity description logics: Preliminary results

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 430-436 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about typicality with low complexity description logics: The logic EL+⊥T

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2009, AI*IA 2009: Emergent Perspectives in Artificial Intelligence - XIth International Conference of the Italian Association for Artificial Intelligence, Proceedings. p. 62-71 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5883 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verifying agents' conformance with multiparty protocols

    Giordano, L. & Martelli, A., 2009, Computational Logic in Multi-Agent Systems - 9th International Workshop, CLIMA IX, Revised Selected and Invited Papers. p. 17-36 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5405 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2008

    Reasoning about typicality in preferential description logics

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2008, Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. p. 192-205 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5293 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verifying the conformance of agents with multiparty protocols

    Giordano, L. & Martelli, A., Jun 2008, Frontiers in Artificial Intelligence and Applications. IOS Press BV, p. 855-856 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2007

    An implementation of a free-variable tableaux for KLM preferential logic P of nonmonotonic reasoning: The theorem prover FreeP 1.0

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2007, AI IA 2007: Artificial Intelligence and Human-Oriented Computing - 10th Congress of the Italian Association for Artificial Intelligence, Proceedings. Springer Verlag, p. 84-96 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4733 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Automatic checking of the correctness of clinical guidelines in GLARE

    Terenziani, P., Anselma, L., Bottrighi, A., Giordano, L. & Montani, S., 2007, MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics: Building Sustainable Health Systems. IOS Press, p. 807-811 5 p. (Studies in Health Technology and Informatics; vol. 129).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning

    Giordano, L., Gliozzi, V. & Pozzato, G. L., 2007, Automated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Proceedings. Springer Verlag, p. 238-244 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4548 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preferential description logics

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2007, Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings. Springer Verlag, p. 257-272 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4790 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Verifying agent conformance with protocols specified in a temporal action logic

    Giordano, L. & Martelli, A., 2007, AI IA 2007: Artificial Intelligence and Human-Oriented Computing - 10th Congress of the Italian Association for Artificial Intelligence, Proceedings. Springer Verlag, p. 145-156 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4733 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2006

    Analytic tableau calculi for KLM rational logic R

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2006, Logics in Artificial Intelligence - 10th European Conference, JELIA 2006, Proceedings. Springer Verlag, p. 190-202 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4160 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about Web services in a temporal action logic

    Martelli, A. & Giordano, L., 2006, Reasoning, Action and Interaction in AI Theories and Systems - Essays Dedicated to Luigia Carlucci Aiello. Stock, O. & Schaerf, M. (eds.). p. 229-246 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4155 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2005

    A temporal approach to the specification and verification of interaction protocols

    Giordano, L., Martelli, A., Terenziani, P., Bottrighi, A. & Montani, S., 2005, WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems. p. 171-176 6 p. (WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2004

    Verifying communicating agents by model checking in a temporal action logic

    Giordano, L., Martelli, A. & Schwind, C., 2004, Logics in Artificial Intelligence - 9th European Conference, JELIA 2004. Alferes, J. J. & Leite, J. (eds.). Springer Verlag, p. 57-69 13 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 3229).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2003

    Specifying and verifying systems of communicating agents in a temporal action logic

    Giordano, L., Martelli, A. & Schwind, C., 2003, AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Proceedings. Cappelli, A. & Turini, F. (eds.). Springer Verlag, p. 262-274 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2829).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Tableau calculi for preference-based conditional logics

    Giordano, L., Gliozzi, V., Olivetti, N. & Schwind, C., 2003, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Mayer, M. C. & Pirri, F. (eds.). Springer Verlag, p. 81-101 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2796).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2002

    Towards a conditional logic of actions and causation

    Giordano, L. & Schwind, C., 2002, Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings. Flesca, S., Greco, S., Ianni, G. & Leone, N. (eds.). Springer Verlag, p. 382-393 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2424).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2001

    Belief revision and the ramsey test: A solution

    Giordano, L., Gliozzi, V. & Olivetti, N., 2001, AIIA 2001: Advances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings. Esposito, F. (ed.). Springer Verlag, p. 165-175 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2175).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about actions in a multiagent domain

    Giordano, L., Martelli, A. & Schwind, C., 2001, AIIA 2001: Advances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings. Esposito, F. (ed.). Springer Verlag, p. 237-248 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2175).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reasoning about complex actions with incomplete knowledge: A modal approach

    Baldoni, M., Giordano, L., Martelli, A. & Patti, V., 2001, Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings. Restivo, A., Rocca, S. R. D. & Roversi, L. (eds.). Springer Verlag, p. 405-426 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2202).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1998

    A conditional logic for belief revision

    Giordano, L., Gliozzi, V. & Olivetti, N., 1998, Logics in Artificial Intelligence - European Workshop, JELIA 1998, Proceedings. Dix, J., del Cerro, L. F. & Furbach, U. (eds.). Springer Verlag, p. 294-308 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1489).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A tableau calculus for multimodal logics and some (Un)decidability results

    Baldoni, M., Giordano, L. & Martelli, A., 1998, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings. Springer Verlag, p. 44-59 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1397 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1997

    An abductive proof procedure for reasoning about actions in modal logic programming

    Baldoni, M., Giordano, L., Martelli, A. & Patti, V., 1997, Non-Monotonic Extensions of Logic Programming - 2nd International Workshop, NMELP 1996, Selected Papers. Dix, J., Pereira, L. M. & Przymusinski, T. C. (eds.). Springer Verlag, p. 132-150 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1216).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review