Giovanni Casini

65 papers A* 12A 1B 5C 2Journal 20Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I JELIA (1) Giovanni Casini, Besik Dundua, Temur Kutsia
2026	—	`ed.`	Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II JELIA (2) Giovanni Casini, Besik Dundua, Temur Kutsia
2025	A*	`conf`	Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. KR Giovanni Casini, Jonas Haldimann, Thomas Meyer
2025	—	`conf`	Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective. NMR Nicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer
2025	J	`jnl`	Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective. CoRR Nicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer
2024	J	`jnl`	Belief Change based on Knowledge Measures. CoRR Umberto Straccia, Giovanni Casini
2024	—	`conf`	Defeasible Justification for KML-Style Logic. Description Logics Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini
2023	J	`jnl`	Defeasible RDFS via rational closure. Inf. Sci. Giovanni Casini, Umberto Straccia
2023	—	`ed.`	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. ENIGMA@KR Salem Benferhat, Giovanni Casini, Thomas Meyer, Andrea Tettamanzi
2023	A*	`conf`	Revising Typical Beliefs: One Revision to Rule Them All. KR Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia
2023	J	`jnl`	Situated conditional reasoning. Artif. Intell. Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2022	A*	`conf`	A General Framework for Modelling Conditional Reasoning - Preliminary Report. KR Giovanni Casini, Umberto Straccia
2022	J	`jnl`	A General Framework for Modelling Conditional Reasoning - Preliminary Report. CoRR Giovanni Casini, Umberto Straccia
2022	A*	`conf`	A Minimal Deductive System for RDFS with Negative Statements. KR Umberto Straccia, Giovanni Casini
2022	J	`jnl`	A Minimal Deductive System for RDFS with Negative Statements. CoRR Umberto Straccia, Giovanni Casini
2022	—	`conf`	Defeasible Reasoning in RDFS. NMR Giovanni Casini, Umberto Straccia
2022	B	`conf`	KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak
2022	J	`jnl`	Normative Change: An AGM Approach. FLAP Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre
2022	—	`ed.`	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. NMR Ofer Arieli, Giovanni Casini, Laura Giordano
2022	—	`conf`	Situated Conditionals - A Brief Introduction. NMR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	—	`conf`	A Rational Entailment for Expressive Description Logics via Description Logic Programs. SACAIR Giovanni Casini, Umberto Straccia
2021	J	`jnl`	A Rational Entailment for Expressive Description Logics via Description Logic Programs. CoRR Giovanni Casini, Umberto Straccia
2021	A*	`conf`	Contextual Conditional Reasoning. AAAI Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	J	`jnl`	Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2021	J	`jnl`	Situated Conditional Reasoning. CoRR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2020	—	`conf`	A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR Guy Paterson-Jones, Giovanni Casini, Thomas Meyer
2020	J	`jnl`	Defeasible RDFS via Rational Closure. CoRR Giovanni Casini, Umberto Straccia
2020	—	`ed.`	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. MIREL@JURIX Giovanni Casini, Luigi Di Caro, Guido Governatori, Valentina Leone, Réka Markovich
2020	A*	`conf`	Rational Defeasible Belief Change. KR Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	—	`conf`	A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	J	`jnl`	A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Inf. Sci. Giovanni Casini, Umberto Straccia, Thomas Meyer
2019	—	`conf`	Arbitrary Ranking of Defeasible Subsumption. Description Logics Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
2019	J	`jnl`	Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2019	J	`jnl`	On rational entailment for Propositional Typicality Logic. Artif. Intell. Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	A*	`conf`	Simple Conditionals with Constrained Right Weakening. IJCAI Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	B	`conf`	Taking Defeasible Entailment Beyond Rational Closure. JELIA Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019	J	`jnl`	Theoretical Foundations of Defeasible Description Logics. CoRR Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2018	J	`jnl`	A Polynomial Time Subsumption Algorithm for Nominal Safe ELO CoRR Giovanni Casini, Umberto Straccia, Thomas Meyer
2018	A*	`conf`	A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. KR Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
2018	J	`jnl`	On Rational Entailment for Propositional Typicality Logic. CoRR Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2018	J	`jnl`	SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications. Sensors 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
2017	A*	`conf`	Belief Change in a Preferential Non-monotonic Framework. IJCAI Giovanni Casini, Thomas Andreas Meyer
2017	C	`ed.`	Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017. JURIX Adam Z. Wyner, Giovanni Casini
2017	—	`conf`	Postulates for Revocation Schemes. POST Marcos Cramer, Giovanni Casini
2017	—	`ed.`	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. DARe@LPNMR Richard Booth, Giovanni Casini, Ivan Varzinczak
2016	A	`conf`	On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
2016	—	`ed.`	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. DARe@ECAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2016	J	`jnl`	Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
2016	A*	`conf`	Using Defeasible Information to Obtain Coherence. KR Giovanni Casini, Thomas Andreas Meyer
2015	—	`conf`	Introducing Defeasibility into OWL Ontologies. ISWC (2) Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak
2015	A*	`conf`	On the Entailment Problem for a Logic of Typicality. IJCAI Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2015	—	`ed.`	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. DARe@IJCAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2015	—	`conf`	What Does Entailment for PTL Mean? AAAI Spring Symposia Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2014	—	`ed.`	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. DARe@ECAI Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
2014	B	`conf`	Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. JELIA Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje
2013	J	`jnl`	Defeasible Inheritance-Based Description Logics. J. Artif. Intell. Res. Giovanni Casini, Umberto Straccia
2013	—	`conf`	Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal. CAiSE Workshops Giovanni Casini, Alessandro Mosca
2013	—	`conf`	Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. Description Logics Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley
2013	—	`conf`	Preferential Role Restrictions. Description Logics Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2013	—	`conf`	Towards Practical Defeasible Reasoning for Description Logics. Description Logics Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak
2013	B	`conf`	Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. LPAR Giovanni Casini, Umberto Straccia
2012	—	`conf`	A note on the translation of conceptual data models into description logics: disjointness and covering assumptions. SAICSIT Giovanni Casini, Aurona Gerber, Thomas Meyer
2011	A*	`conf`	Defeasible Inheritance-Based Description Logics. IJCAI Giovanni Casini, Umberto Straccia
2010	B	`conf`	Rational Closure for Defeasible Description Logics. JELIA Giovanni Casini, Umberto Straccia
2009	C	`conf`	A Note on Cumulative Stereotypical Reasoning. ECSQARU Giovanni Casini, Hykel Hosni