Giovanni Casini

Giovanni Casini
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

In press

Full Text
See detailOn Rational Entailment for Propositional Typicality Logic
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

in Artificial Intelligence (in press)

Full Text
See detailA Polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure
Casini, Giovanni; Straccia, Umberto; Meyer, Thomas

in Information Sciences (in press)

Top of Page

2019

Full Text
See detailA KLM Perspective on Defeasible Reasoning for Description Logics
Britz, Katarina; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

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)

Full Text
See detailArbitrary Ranking of Defeasible Subsumption
Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid

in Proceedings of the 32nd International Workshop on Description Logics (2019)

Full Text
See detailSimple Conditionals with Constrained Right Weakening
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (2019)

Full Text
See detailTaking Defeasible Entailment beyond Rational Closure
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

in Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA-19) (2019)

Top of Page

2018

Full Text
See detailA Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
Casini, Giovanni; Ferme, Eduardo; Meyer, Thomas; Varzinczak, Ivan

in Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)

Full Text
See detailDefeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

in Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) (2018)

Full Text
See detailOn Rational Entailment for Propositional Typicality Logic
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan; Booth, Richard

Report (2018)

Top of Page

2017

Full Text
See detailExtending Typicality for Description Logics
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

Report (2017)

Full Text
See detailDARe-17 - Proceedings of the Fourth International Workshop on Defeasible and Ampliative Reasoning
Booth, Richard; Casini, Giovanni; Varzinczak, Ivan

Book published by CEUR Workshop Proceedings (2017)

Full Text
See detailBelief Change in a Preferential Non-Monotonic Framework
Casini, Giovanni; Meyer, Thomas

in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (2017, August)

Full Text
See detailPostulates for Revocation Schemes
Cramer, Marcos; Casini, Giovanni

in Cramer, Marcos; Casini, Giovanni (Eds.) Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (2017, January 18)

Full Text
See detailLegal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference
Wyner, Adam; Casini, Giovanni

Book published by IOS Press BV (2017)

Top of Page

2016

Full Text
See detailDARe-16 - Proceedings of the International Workshop on Defeasible and Ampliative Reasoning
Booth, Richard; Casini, Giovanni; Klarman, Szymon; Gilles, Richard; Varzinczak, Ivan

Book published by CEUR Workshop Proceedings (2016)

Full Text
See detailUsing Defeasible Information to Obtain Coherence
Casini, Giovanni; Meyer, Thomas

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)

Full Text
See detailUsing Defeasible Information to Obtain Coherence
Casini, Giovanni; Meyer, Thomas

in BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence (2016)

Full Text
See detailRevising Incompletely Specified Convex Probabilistic Belief Bases
Rens, Gavin; Meyer, Thomas; Casini, Giovanni

in Kern-Isberner,, Gabriele; Wassermann, Renata (Eds.) Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) (2016, April)

Full Text
See detailOn Revision of Partially Specified Convex Probabilistic Belief Bases
Rens, Gavin; Meyer, Thomas; Casini, Giovanni

in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16) (2016)

Top of Page

2015

Full Text
See detailProceedings of the 2nd International Workshop on Defeasible and Ampliative Reasoning (DARe-15)
Booth, Richard; Casini, Giovanni; Klarman, Szymon; Richard, Gilles; Varzinczak, Ivan

Book published by CEUR Workshop Proceedings (2015)

Full Text
See detailOn the Entailment Problem for a Logic of Typicality
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

in Yang, Qiang; Wooldridge, Michael (Eds.) Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015 (2015)

Full Text
See detailIntroducing Defeasibility into OWL Ontologies
Casini, Giovanni; Meyer, Thomas; Moodley, Kody; Sattler, Uli; Varzinczak, Ivan

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)

Full Text
See detailA non-classical logical foundation for naturalised realism
Ruttkamp-Bloem, Emma; Casini, Giovanni; Meyer, Thomas

in Arazim, Pavel; Dančák, michal (Eds.) The Logica Yearbook (2015)

Top of Page