Giovanni Casini
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
Giovanni Casini received his PhD degree in Logic from the Department of Philosophy of the University of Pisa in 2008. His research interests are in logics for Knowledge Representation and Reasoning, with a particular focus on Uncertain Reasoning and Description Logics. Giovanni will work with Prof. Leon Van Der Torre.
Last updated on: Monday, 03 July 2017
In press
On Rational Entailment for Propositional Typicality Logic; ; ;
in Artificial Intelligence and Law (in press)
A Polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure; ;
in Information Sciences (in press)
2020
2019
A KLM Perspective on Defeasible Reasoning for Description Logics; ; ;
in Turhan, Anni-Yasmin; Wolter, Frank; Lutz, Carsten; Sattler, Uli; Tinelli, Cesare (Eds.) Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (2019)
Arbitrary Ranking of Defeasible Subsumption; ; ;
in Proceedings of the 32nd International Workshop on Description Logics (2019)
Simple Conditionals with Constrained Right Weakening; ;
in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (2019)
Taking Defeasible Entailment beyond Rational Closure; ;
in Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA-19) (2019)
2018
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework; ; ;
in Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)
Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond; ;
in Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) (2018)
2017
DARe-17 - Proceedings of the Fourth International Workshop on Defeasible and Ampliative Reasoning; ;
Book published by CEUR Workshop Proceedings (2017)
Belief Change in a Preferential Non-Monotonic Framework;
in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (2017, August)
Postulates for Revocation Schemes;
in Cramer, Marcos; Casini, Giovanni (Eds.) Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (2017, January 18)
Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference;
Book published by IOS Press BV (2017)
2016
DARe-16 - Proceedings of the International Workshop on Defeasible and Ampliative Reasoning; ; ; ;
Book published by CEUR Workshop Proceedings (2016)
Using Defeasible Information to Obtain Coherence;
in Baral, Chitta; Delgrande, James; Wolter, Frank (Eds.) Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16) (2016, April)
Using Defeasible Information to Obtain Coherence;
in BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence (2016)
Revising Incompletely Specified Convex Probabilistic Belief Bases; ;
in Kern-Isberner,, Gabriele; Wassermann, Renata (Eds.) Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) (2016, April)
On Revision of Partially Specified Convex Probabilistic Belief Bases; ;
in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16) (2016)
2015
Proceedings of the 2nd International Workshop on Defeasible and Ampliative Reasoning (DARe-15); ; ; ;
Book published by CEUR Workshop Proceedings (2015)
On the Entailment Problem for a Logic of Typicality; ; ;
in Yang, Qiang; Wooldridge, Michael (Eds.) Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015 (2015)
Introducing Defeasibility into OWL Ontologies; ; ; ;
in Arenas, Marcelo; Corcho, Oscar; Simperl, Elena; Strohmaier, Markus; d’Aquin, Mathieu; Srinivas, Kavitha; Groth, Paul; Dumontier, Michel; Heflin, Jeff; Thirunarayan, Krishnaprasad; Staab, Steffen (Eds.) 14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II (2015)
A non-classical logical foundation for naturalised realism; ;
in Arazim, Pavel; Dančák, michal (Eds.) The Logica Yearbook (2015)
