default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiovanni Casini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c33]Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini:
Defeasible Justification for KML-Style Logic. Description Logics 2024- [i10]Umberto Straccia, Giovanni Casini:
Belief Change based on Knowledge Measures. CoRR abs/2403.10502 (2024) - 2023
- [j9]Giovanni Casini
, Thomas Meyer, Ivan Varzinczak:
Situated conditional reasoning. Artif. Intell. 319: 103917 (2023) - [j8]Giovanni Casini, Umberto Straccia:
Defeasible RDFS via rational closure. Inf. Sci. 643: 118409 (2023) - [c32]Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia:
Revising Typical Beliefs: One Revision to Rule Them All. KR 2023: 355-364 - [e8]Salem Benferhat, Giovanni Casini, Thomas Meyer, Andrea Tettamanzi:
Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering, co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 3-4, 2023. CEUR Workshop Proceedings 3495, CEUR-WS.org 2023 [contents] - 2022
- [j7]Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre:
Normative Change: An AGM Approach. FLAP 9(4): 855-920 (2022) - [c31]Giovanni Casini, Umberto Straccia:
A General Framework for Modelling Conditional Reasoning - Preliminary Report. KR 2022 - [c30]Umberto Straccia, Giovanni Casini:
A Minimal Deductive System for RDFS with Negative Statements. KR 2022 - [c29]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditionals - A Brief Introduction. NMR 2022: 151-154 - [c28]Giovanni Casini, Umberto Straccia:
Defeasible Reasoning in RDFS. NMR 2022: 155-158 - [c27]Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR 2022: 81-94 - [e7]Ofer Arieli, Giovanni Casini, Laura Giordano:
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. CEUR Workshop Proceedings 3197, CEUR-WS.org 2022 [contents] - [i9]Giovanni Casini, Umberto Straccia:
A General Framework for Modelling Conditional Reasoning - Preliminary Report. CoRR abs/2202.07596 (2022) - [i8]Umberto Straccia, Giovanni Casini:
A Minimal Deductive System for RDFS with Negative Statements. CoRR abs/2202.13750 (2022) - 2021
- [j6]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. 22(1): 1:1-1:46 (2021) - [c26]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Contextual Conditional Reasoning. AAAI 2021: 6254-6261 - [c25]Giovanni Casini, Umberto Straccia:
A Rational Entailment for Expressive Description Logics via Description Logic Programs. SACAIR 2021: 177-191 - [i7]Giovanni Casini, Umberto Straccia:
A Rational Entailment for Expressive Description Logics via Description Logic Programs. CoRR abs/2107.06075 (2021) - [i6]Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditional Reasoning. CoRR abs/2109.01552 (2021) - 2020
- [c24]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Rational Defeasible Belief Change. KR 2020: 213-222 - [c23]Guy Paterson-Jones, Giovanni Casini, Thomas Meyer:
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR 2020: 236-252 - [e6]Giovanni Casini, Luigi Di Caro, Guido Governatori, Valentina Leone, Réka Markovich:
Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), Madrid, Spain, December 11, 2019. CEUR Workshop Proceedings 2632, CEUR-WS.org 2020 [contents] - [i5]Giovanni Casini, Umberto Straccia:
Defeasible RDFS via Rational Closure. CoRR abs/2007.07573 (2020)
2010 – 2019
- 2019
- [j5]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019) - [j4]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112: 1-3 (2019) - [j3]Giovanni Casini, Umberto Straccia, Thomas Meyer:
A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. 501: 588-620 (2019) - [c22]Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That 2019: 147-173 - [c21]Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan:
Arbitrary Ranking of Defeasible Subsumption. Description Logics 2019 - [c20]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Simple Conditionals with Constrained Right Weakening. IJCAI 2019: 1632-1638 - [c19]Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Taking Defeasible Entailment Beyond Rational Closure. JELIA 2019: 182-197 - [i4]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019) - 2018
- [j2]Salvatore Tudisco, Francesco La Via, Clementina Agodi, Carmen Altana, Giacomo Borghi, Maurizio Boscardin, Giancarlo Bussolino, Lucia Calcagno, Massimo Camarda, Francesco Cappuzzello, Diana Carbone, Salvatore Cascino, Giovanni Casini, Manuela Cavallaro, Caterina Ciampi, Giuseppe Cirrone, Giacomo Cuttone, Alberto Fazzi, Dario Giove, Giuseppe Gorini, Luca Labate, Gaetano Lanzalone, Grazia Litrico, Giuseppe Longo, Domenico Lo Presti, Marco Mauceri, Roberto Modica, Maurizio Moschetti, Annamaria Muoio, Franco Musumeci, Gabriele Pasquali, Giada Petringa, Nicolò Piluso, Giacomo Poggi, Stefania Privitera, Sebastiana Puglia, Valeria Puglisi, Marica Rebai, Sabina Ronchin, Antonello Santangelo, Andrea Stefanini, Antonio Trifirò, Massimo Zimbone:
SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications. Sensors 18(7): 2289 (2018) - [c18]Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak:
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR 2018: 220-229 - [i3]Giovanni Casini, Umberto Straccia, Thomas Meyer:
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. CoRR abs/1802.08201 (2018) - [i2]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On Rational Entailment for Propositional Typicality Logic. CoRR abs/1809.10946 (2018) - 2017
- [c17]Giovanni Casini, Thomas Andreas Meyer:
Belief Change in a Preferential Non-monotonic Framework. IJCAI 2017: 929-935 - [c16]Marcos Cramer, Giovanni Casini:
Postulates for Revocation Schemes. POST 2017: 232-252 - [e5]Adam Z. Wyner, Giovanni Casini:
Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017. Frontiers in Artificial Intelligence and Applications 302, IOS Press 2017, ISBN 978-1-61499-837-2 [contents] - [e4]Richard Booth, Giovanni Casini, Ivan Varzinczak:
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017. CEUR Workshop Proceedings 1872, CEUR-WS.org 2017 [contents] - 2016
- [c15]Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI 2016: 921-929 - [c14]Giovanni Casini, Thomas Andreas Meyer:
Using Defeasible Information to Obtain Coherence. KR 2016: 537-540 - [e3]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29, 2016. CEUR Workshop Proceedings 1626, CEUR-WS.org 2016 [contents] - [i1]Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR abs/1604.02133 (2016) - 2015
- [c13]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
What Does Entailment for PTL Mean? AAAI Spring Symposia 2015 - [c12]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On the Entailment Problem for a Logic of Typicality. IJCAI 2015: 2805-2811 - [c11]Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426 - [e2]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015. CEUR Workshop Proceedings 1423, CEUR-WS.org 2015 [contents] - 2014
- [c10]Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje:
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA 2014: 92-106 - [e1]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. CEUR Workshop Proceedings 1212, CEUR-WS.org 2014 [contents] - 2013
- [j1]Giovanni Casini, Umberto Straccia:
Defeasible Inheritance-Based Description Logics. J. Artif. Intell. Res. 48: 415-473 (2013) - [c9]Giovanni Casini, Alessandro Mosca:
Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal. CAiSE Workshops 2013: 361-370 - [c8]Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106 - [c7]Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak:
Towards Practical Defeasible Reasoning for Description Logics. Description Logics 2013: 587-599 - [c6]Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley:
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics 2013: 600-615 - [c5]Giovanni Casini, Umberto Straccia:
Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. LPAR 2013: 213-227 - 2012
- [c4]Giovanni Casini, Aurona Gerber, Thomas Meyer:
A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT 2012: 10-20 - 2011
- [c3]Giovanni Casini, Umberto Straccia:
Defeasible Inheritance-Based Description Logics. IJCAI 2011: 813-818 - 2010
- [c2]Giovanni Casini, Umberto Straccia:
Rational Closure for Defeasible Description Logics. JELIA 2010: 77-90
2000 – 2009
- 2009
- [c1]Giovanni Casini, Hykel Hosni:
A Note on Cumulative Stereotypical Reasoning. ECSQARU 2009: 590-601
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-29 01:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
