Giovanni Casini

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 41

Top Topics

Description Logics

Defeasible Reasoning

Top Venues

Publications

Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini
Defeasible Justification for KML-Style Logic. Description Logics (2024)
Umberto Straccia, Giovanni Casini
Belief Change based on Knowledge Measures. CoRR (2024)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Situated conditional reasoning. Artif. Intell. 319 (2023)
Giovanni Casini, Umberto Straccia
Defeasible RDFS via rational closure. Inf. Sci. 643 (2023)
Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia
Revising Typical Beliefs: One Revision to Rule Them All. KR (2023)
Umberto Straccia, Giovanni Casini
A Minimal Deductive System for RDFS with Negative Statements. KR (2022)
Umberto Straccia, Giovanni Casini
A Minimal Deductive System for RDFS with Negative Statements. CoRR (2022)
Giovanni Casini, Umberto Straccia
Defeasible Reasoning in RDFS. NMR (2022)
Giovanni Casini, Umberto Straccia
A General Framework for Modelling Conditional Reasoning - Preliminary Report. CoRR (2022)
Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR (2022)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditionals - A Brief Introduction. NMR (2022)
Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre
Normative Change: An AGM Approach. FLAP 9 (4) (2022)
Giovanni Casini, Umberto Straccia
A General Framework for Modelling Conditional Reasoning - Preliminary Report. KR (2022)
Giovanni Casini, Umberto Straccia
A Rational Entailment for Expressive Description Logics via Description Logic Programs. SACAIR (2021)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Situated Conditional Reasoning. CoRR (2021)
Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
Contextual Conditional Reasoning. AAAI (2021)
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) (2021)
Giovanni Casini, Umberto Straccia
A Rational Entailment for Expressive Description Logics via Description Logic Programs. CoRR (2021)
Giovanni Casini, Umberto Straccia
Defeasible RDFS via Rational Closure. CoRR (2020)
Guy Paterson-Jones, Giovanni Casini, Thomas Meyer
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Rational Defeasible Belief Change. KR (2020)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Taking Defeasible Entailment Beyond Rational Closure. JELIA (2019)
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Theoretical Foundations of Defeasible Description Logics. CoRR (2019)
Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112 (2019)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019)
Giovanni Casini, Umberto Straccia, Thomas Meyer
A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. 501 (2019)
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)
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
Arbitrary Ranking of Defeasible Subsumption. Description Logics (2019)
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Simple Conditionals with Constrained Right Weakening. IJCAI (2019)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
On Rational Entailment for Propositional Typicality Logic. CoRR (2018)
Giovanni Casini, Umberto Straccia, Thomas Meyer
under Rational Closure. CoRR (2018)
Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR (2018)
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) (2018)
Marcos Cramer, Giovanni Casini
Postulates for Revocation Schemes. POST (2017)
Giovanni Casini, Thomas Andreas Meyer
Belief Change in a Preferential Non-monotonic Framework. IJCAI (2017)
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR (2016)
Giovanni Casini, Thomas Andreas Meyer
Using Defeasible Information to Obtain Coherence. KR (2016)
Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI (2016)
Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan José Varzinczak
Introducing Defeasibility into OWL Ontologies. ISWC (2) (2015)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
What Does Entailment for PTL Mean? AAAI Spring Symposia (2015)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
On the Entailment Problem for a Logic of Typicality. IJCAI (2015)
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA (2014)
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
Preferential Role Restrictions. Description Logics (2013)
Giovanni Casini, Thomas Meyer, Ivan José Varzinczak, Kodylan Moodley
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics (2013)
Giovanni Casini, Alessandro Mosca
Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal. CAiSE Workshops (2013)
Giovanni Casini, Umberto Straccia
Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. LPAR (2013)
Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak
Towards Practical Defeasible Reasoning for Description Logics. Description Logics (2013)
Giovanni Casini, Umberto Straccia
Defeasible Inheritance-Based Description Logics. J. Artif. Intell. Res. 48 (2013)
Giovanni Casini, Aurona Gerber, Thomas Meyer
A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT (2012)
Giovanni Casini, Umberto Straccia
Defeasible Inheritance-Based Description Logics. IJCAI (2011)
Giovanni Casini, Umberto Straccia
Rational Closure for Defeasible Description Logics. JELIA (2010)
Giovanni Casini, Hykel Hosni
A Note on Cumulative Stereotypical Reasoning. ECSQARU (2009)