Personal information

Artificial intelligence, Knowledge Representation, Logic, Uncertain reasoning, Belief revision, Desc
Italy

Activities

Employment (4)

Istituto di Scienza e Tecnologie dell'Informazione Alessandro Faedo Consiglio Nazionale delle Ricerche: Pisa, Toscana, IT

2020-07-01 to present | Researcher (Networked Multimedia Information Systems Laboratory (NeMIS))
Employment
Source: Self-asserted source
Giovanni Casini

Université du Luxembourg: Luxembourg, LU

2015-07-01 to 2019-12-31 | Research Associate (CSC - Computer Science and Communication Research Unit)
Employment
Source: Self-asserted source
Giovanni Casini

Centre for Artificial Intelligence Research (CAIR): Pretoria, Gauteng, ZA

2012-02-01 to 2015-06-30 | Postdoc
Employment
Source: Self-asserted source
Giovanni Casini

Scuola Normale Superiore: Pisa, Toscana, IT

2009-10-01 to 2011-09-30 | Assegnista di Ricerca (Postdoc)
Employment
Source: Self-asserted source
Giovanni Casini

Education and qualifications (3)

Ministero dell'Istruzione dell'Università e della Ricerca: Roma, Lazio, IT

2020-01-14 to 2029-01-14 | Italian habilitation for Associate Professor in Computer Science (Abilitazione a Professore Associato settore informatico 01/B1)
Qualification
Source: Self-asserted source
Giovanni Casini

Università degli Studi di Pisa: Pisa, Toscana, IT

2005-01-01 to 2008-11-28 | PhD (Department of Philosophy)
Education
Source: Self-asserted source
Giovanni Casini

Università degli Studi di Pisa: Pisa, Toscana, IT

2004-11-05 | M.A. Degree (Department of Philosophy)
Education
Source: Self-asserted source
Giovanni Casini

Professional activities (8)

Associazione Italiana per l'Intelligenza Artificiale (AIxIA): Rome, Lazio, IT

2020-01-22 to present | Regular Member
Membership
Source: Self-asserted source
Giovanni Casini

Marie Curie Alumni Association (MCAA): Bruxelles, BE

2019-04-01 to present | regular member
Membership
Source: Self-asserted source
Giovanni Casini

Associazione Italiana di Logica e sue Applicationi (AILA): Camerino, IT

2010-01-01 to present | Regular Member
Membership
Source: Self-asserted source
Giovanni Casini

International Workshops on Nonmonotonic Reasoning: Dortmund, DE

2022-09-01 to 2026-08-31 | member (Steering Committee)
Service
Source: Self-asserted source
Giovanni Casini

University of Cape Town: Cape Town, ZA

2019-12-01 to 2024-11-30 | Adjunct Lecturer (Computer Science)
Invited position
Source: Self-asserted source
Giovanni Casini

Istituto di Scienza e Tecnologie dell'Informazione Alessandro Faedo Consiglio Nazionale delle Ricerche: Pisa, Toscana, IT

2019-12-16 to 2020-06-30 | Associato (Research Associate)
Invited position
Source: Self-asserted source
Giovanni Casini

Luxembourg National Research Fund (FNR): Luxembourg, LU

2015 | AFR personal grant - Marie Skłodowska-Curie co-funded grant
Distinction
Source: Self-asserted source
Giovanni Casini

Istituto di Scienza e Tecnologie dell'Informazione Alessandro Faedo Consiglio Nazionale delle Ricerche: Pisa, Toscana, IT

2010-07-01 to 2011-09-30 | Associato (Research Associate)
Invited position
Source: Self-asserted source
Giovanni Casini

Funding (6)

STARWARS - STormwAteR and WastewAteR networkS heterogeneous data AI-driven management

2023-01 to 2026-12 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 101086252
Source: Self-asserted source
Giovanni Casini

TAILOR - Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

2020-09 to 2023-08 | Grant
European Commission (Bruxelles, BE)
Part of GRANT_NUMBER:

952215

Source: Self-asserted source
Giovanni Casini

Mining and Reasoning In Legal Texts (MIREL)

2016-01 to 2019-12 | Grant
European Commission (Bruxelles, BE)
Part of GRANT_NUMBER: 690974
Source: Self-asserted source
Giovanni Casini

Subjective and Objective Uncertainty in Description Logics (SOUL)

2015-07 to 2017-06 | Grant
FNR & European Commission (Luxembourg, LU)
GRANT_NUMBER: AFR/9181001
Source: Self-asserted source
Giovanni Casini

NET2

2010-07 to 2013-06 | Grant
FP7 People: Marie-Curie Actions (Bruxelles, BE)
Part of GRANT_NUMBER: 247601
Source: Self-asserted source
Giovanni Casini

Nonmonotonic Description Logics: Complexity and implementation (LoDeN)

2010-03 to 2012-09 | Grant
PRIN 2008 (Rome, IT)
GRANT_NUMBER: -
Source: Self-asserted source
Giovanni Casini

Works (50 of 60)

Items per page:
Page 1 of 2

Preface for the first Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering (ENIGMA-2023)

CEUR Workshop Proceedings
2023 | Conference paper
EID:

2-s2.0-85175315615

Part of ISSN: 16130073
Contributors: Benferhat, S.; Casini, G.; Meyer, T.; Tettamanzi, A.G.B.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Defeasible RDFS via rational closure

Information Sciences
2023-09 | Journal article
EID:

2-s2.0-85181592939

Part of ISSN: 23318422
EID:

2-s2.0-85160205885

Part of ISSN: 00200255
EID:

2-s2.0-85095274452

OTHER-ID:

6c7aceec-96c9-45d2-bc90-d721cbd36e53

Contributors: Giovanni Casini; Umberto Straccia
Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 5)‎

Revising Typical Beliefs: One Revision to Rule Them All

Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning
2023-09 | Conference paper
EID:

2-s2.0-85176736856

Part of ISBN: 9781956792027
Part of ISSN: 23341033 23341025
OTHER-ID:

6ed28ad7-d968-4085-9cb3-d214a84b1451

Contributors: Jesse Heyninck; Giovanni Casini; Thomas Meyer; Umberto Straccia
Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 3)‎

Situated conditional reasoning

Artificial Intelligence
2023-06 | Journal article | Author
Part of ISSN: 0004-3702
EID:

2-s2.0-85160367361

Part of ISSN: 23318422
OTHER-ID:

d2781a61-ddc5-47b9-8af3-aab18bb0cf72

EID:

2-s2.0-85152600543

EID:

2-s2.0-85115858681

Contributors: Giovanni Casini; Thomas Meyer; Ivan Varzinczak
Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 5)‎

A General Framework for Modelling Conditional Reasoning - Preliminary Report

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022
2022 | Conference paper
EID:

2-s2.0-85141865072

Part of ISBN: 9781956792010
EID:

2-s2.0-85125031659

Part of ISSN: 23318422
URI:

https://proceedings.kr.org/2022/12/

Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 3)‎

A Minimal Deductive System for RDFS with Negative Statements

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022
2022 | Conference paper
EID:

2-s2.0-85169869509

Part of ISSN: 23318422
EID:

2-s2.0-85126912720

EID:

2-s2.0-85137602603

Part of ISBN: 9781956792010
URI:

https://proceedings.kr.org/2022/35/

OTHER-ID:

becbd828-84e1-4344-b788-d3ebda8f0861

EID:

85137602603

Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 5)‎

A Rational Entailment for Expressive Description Logics via Description Logic Programs

Communications in Computer and Information Science
2022 | Conference paper
EID:

2-s2.0-85125227180

Part of ISBN: 9783030950699
Part of ISSN: 18650937 18650929
Contributors: Casini, G.; Straccia, U.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Defeasible Reasoning in RDFS

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
2022 | Conference paper
URI:

http://ceur-ws.org/Vol-3197/short5.pdf

OTHER-ID:

3ebed266-fe99-4971-95cc-ea26fa375d71

EID:

85137577546

EID:

2-s2.0-85137577546

Part of ISSN: 16130073
Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 4)‎

Normative Change: An AGM Approach

Journal of Applied Logics
2022 | Journal article
EID:

2-s2.0-85132448981

Part of ISSN: 26319829 26319810
Contributors: Maranhão, J.; Casini, G.; Pigozzi, G.; van der Torre, L.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 3)‎

Preface

CEUR Workshop Proceedings
2022 | Conference paper
EID:

2-s2.0-85137609136

Part of ISSN: 16130073
Contributors: Giordano, L.; Casini, G.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Situated Conditionals - A Brief Introduction

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
2022 | Conference paper
OTHER-ID:

377fcbc5-3dd7-4eb9-81ff-76e12b09bc09

EID:

85137594793

URI:

http://ceur-ws.org/Vol-3197/short4.pdf

EID:

2-s2.0-85137594793

Part of ISSN: 16130073
Source: Self-asserted source
Giovanni Casini
grade
Preferred source (of 3)‎

A rational entailment for expressive description logics via description logic programs

arXiv
2021 | Other
EID:

2-s2.0-85111226797

Part of ISSN: 23318422
Contributors: Casini, G.; Straccia, U.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 3)‎

Contextual Conditional Reasoning

35th AAAI Conference on Artificial Intelligence, AAAI 2021
2021 | Conference paper
EID:

2-s2.0-85115857906

Contributors: Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Principles of KLM-style Defeasible Description Logics

ACM Transactions on Computational Logic
2021 | Journal article
EID:

2-s2.0-85100110834

Part of ISSN: 1557945X 15293785
Contributors: Britz, K.; Casini, G.; Meyer, T.; Moodley, K.; Sattler, U.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

A Boolean Extension of KLM-Style Conditional Reasoning

Communications in Computer and Information Science
2020 | Conference paper
EID:

2-s2.0-85098291163

Part of ISBN: 9783030661502
Part of ISSN: 18650937 18650929
Contributors: Paterson-Jones, G.; Casini, G.; Meyer, T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Preface

CEUR Workshop Proceedings
2020 | Conference paper
EID:

2-s2.0-85094976633

Part of ISSN: 16130073
Contributors: Casini, G.; Caro, L.D.; Governatori, G.; Leone, V.; Markovich, R.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Rational defeasible belief change

17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
2020 | Conference paper
EID:

2-s2.0-85104674350

Contributors: Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

A KLM Perspective on Defeasible Reasoning for Description Logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book chapter
EID:

2-s2.0-85068375146

Part of ISSN: 16113349 03029743
Contributors: Britz, K.; Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

A polynomial Time Subsumption Algorithm for Nominal Safe ELO<sub>⊥</sub> under Rational Closure

Information Sciences
2019 | Journal article
EID:

2-s2.0-85054426138

Part of ISSN: 00200255
Contributors: Casini, G.; Straccia, U.; Meyer, T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Arbitrary ranking of defeasible subsumption

CEUR Workshop Proceedings
2019 | Conference paper
EID:

2-s2.0-85067211462

Part of ISSN: 16130073
Contributors: Casini, G.; Harrison, M.; Meyer, T.; Swan, R.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Editorial: Defeasible and Ampliative Reasoning

International Journal of Approximate Reasoning
2019 | Journal article
EID:

2-s2.0-85066139232

Part of ISSN: 0888613X
Contributors: Booth, R.; Casini, G.; Klarman, S.; Richard, G.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

On rational entailment for Propositional Typicality Logic

Artificial Intelligence
2019 | Journal article
EID:

2-s2.0-85072894079

Part of ISSN: 00043702
Contributors: Booth, R.; Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 4)‎

Simple conditionals with constrained right weakening

IJCAI International Joint Conference on Artificial Intelligence
2019 | Conference paper
EID:

2-s2.0-85074899498

Part of ISSN: 10450823
Contributors: Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Taking Defeasible Entailment Beyond Rational Closure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Conference paper
EID:

2-s2.0-85065989807

Part of ISBN: 9783030195694
Part of ISSN: 16113349 03029743
Contributors: Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Theoretical foundations of defeasible description logics

arXiv
2019 | Other
EID:

2-s2.0-85093989714

Part of ISSN: 23318422
Contributors: Britz, K.; Casini, G.; Meyer, T.; Moodley, K.; Sattler, U.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 3)‎

A Polynomial time subsumption algorithm for nominal safe elo under rational closure

arXiv
2018 | Other
EID:

2-s2.0-85093545886

Part of ISSN: 23318422
Contributors: Casini, .G.; Straccia, .U.; Meyer, .T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 3)‎

A semantic perspective on belief change in a preferential non-monotonic framework

Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
2018 | Conference paper
EID:

2-s2.0-85079089687

Contributors: Casini, G.; Fermé, E.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond

Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018)
2018-10-21 | Conference paper
Source: Self-asserted source
Giovanni Casini

Belief change in a preferential non-monotonic framework

IJCAI International Joint Conference on Artificial Intelligence
2017 | Conference paper
EID:

2-s2.0-85031894869

Contributors: Casini, G.; Meyer, T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Postulates for revocation schemes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Conference paper
EID:

2-s2.0-85018648633

Part of ISBN: 9783662544549
Part of ISSN: 16113349 03029743
Contributors: Cramer, M.; Casini, G.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Preface

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85027876540

Contributors: Booth, R.; Casini, G.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Preface

Frontiers in Artificial Intelligence and Applications
2017 | Book
EID:

2-s2.0-85037999614

Contributors: Wyner, A.; Casini, G.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

On revision of partially specified convex probabilistic belief bases

Frontiers in Artificial Intelligence and Applications
2016 | Conference paper
EID:

2-s2.0-85013059308

Part of ISBN: 9781614996712
Part of ISSN: 18798314 09226389
Contributors: Rens, G.; Meyer, T.; Casini, G.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Revising Incompletely Specified Convex Probabilistic Belief Bases

2016 | Conference paper
Contributors: Giovanni Casini
Source: Self-asserted source
Giovanni Casini

Using defeasible information to obtain coherence

Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
2016 | Conference paper
EID:

2-s2.0-85011020030

Contributors: Casini, G.; Meyer, T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

A Non-classical Logical Foundation for Naturalised Realism

LOGICA YEARBOOK 2015
2015 | Book chapter
WOSUID:

000428358400016

Part of ISBN: 978-1-84890-177-3
Source: Self-asserted source
Giovanni Casini

Introducing defeasibility into OWL ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Conference paper
EID:

2-s2.0-84952705714

Part of ISBN: 9783319250090
Part of ISSN: 16113349 03029743
Contributors: Casini, G.; Meyer, T.; Moodley, K.; Sattler, U.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

On the entailment problem for a logic of typicality

IJCAI International Joint Conference on Artificial Intelligence
2015 | Conference paper
EID:

2-s2.0-84949768295

Contributors: Booth, R.; Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Preface

CEUR Workshop Proceedings
2015 | Conference paper
EID:

2-s2.0-84940921707

Contributors: Booth, R.; Casini, G.; Klarman, S.; Richard, G.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

What does entailment for PTL mean?

AAAI Spring Symposium - Technical Report
2015 | Conference paper
EID:

2-s2.0-84986891099

Contributors: Booth, R.; Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Preface

CEUR Workshop Proceedings
2014 | Conference paper
EID:

2-s2.0-84920911365

Contributors: Booth, R.; Casini, G.; Klarman, S.; Richard, G.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Relevant closure: A new form of defeasible reasoning for description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84921727568

Contributors: Casini, G.; Meyer, T.; Moodley, K.; Nortjé, R.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Defeasible inheritance-based description logics

Journal of Artificial Intelligence Research
2013 | Journal article
EID:

2-s2.0-84888319454

Contributors: Casini, G.; Straccia, U.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎

Non-monotonic reasoning in conceptual modeling and ontology design: A proposal

Lecture Notes in Business Information Processing
2013 | Conference paper
EID:

2-s2.0-84879875071

Part of ISBN: 9783642384899
Part of ISSN: 18651348
Contributors: Casini, G.; Mosca, A.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Nonmonotonic reasoning in description logics: Rational Closure for the ABox

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84892378214

Contributors: Casini, G.; Meyer, T.; Moodley, K.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Ordered interpretations and entailment for defeasible description logics

2013 | Report
Source: Self-asserted source
Giovanni Casini

Preferential role restrictions

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84892385446

Contributors: Britz, K.; Casini, G.; Meyer, T.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Towards practical defeasible reasoning for Description Logics

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84892391740

Contributors: Casini, G.; Meyer, T.; Moodley, K.; Varzinczak, I.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

Towards rational closure for fuzzy logic: The case of propositional Gödel Logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Conference paper
EID:

2-s2.0-84893960879

Part of ISBN: 9783642452208
Part of ISSN: 03029743 16113349
Contributors: Casini, G.; Straccia, U.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier

A note on the translation of conceptual data models into description logics: Disjointness and covering assumptions

ACM International Conference Proceeding Series
2012 | Conference paper
EID:

2-s2.0-84870591820

Contributors: Casini, G.; Gerber, A.; Meyer, T.
Source: Self-asserted source
Giovanni Casini via Scopus - Elsevier
grade
Preferred source (of 2)‎
Items per page:
Page 1 of 2

Peer review (6 reviews for 3 publications/grants)

Review activity for Fuzzy sets and systems. (3)
Review activity for International journal of approximate reasoning (2)
Review activity for Journal of logic, language and information. (1)