Giovanni Casini
|
|
||||
| Adresse postale |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
Sous presse
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)
