![]() ![]() | Booth, R., CASINI, G., Meyer, T., & Varzinczak, I. (In press). On Rational Entailment for Propositional Typicality Logic. Artificial Intelligence and Law. doi:10.1016/j.artint.2019.103178 ![]() |
![]() ![]() | CASINI, G., Di Caro, L., Governatori, G., LEONE, V., & MARKOVICH, R. (2020). Mining and Reasoning with Legal Texts – MIREL 2019. CEUR Workshop Proceedings. ![]() |
![]() ![]() | Britz, K., CASINI, G., Meyer, T., & Varzinczak, I. (2019). A KLM Perspective on Defeasible Reasoning for Description Logics. In A.-Y. Turhan, F. Wolter, C. Lutz (Ed.), U. Sattler (Ed.), ... C. Tinelli (Ed.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (pp. 147-173). Springer. doi:10.1007/978-3-030-22102-7 ![]() |
![]() ![]() | CASINI, G., Meyer, T., & Varzinczak, I. (2019). Simple Conditionals with Constrained Right Weakening. In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (pp. 1632-1638). doi:10.24963/ijcai.2019/226 ![]() |
![]() ![]() | CASINI, G., Meyer, T., & Varzinczak, I. (2019). Taking Defeasible Entailment beyond Rational Closure. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA-19). Springer. doi:10.1007/978-3-030-19570-0_12 ![]() |
![]() ![]() | CASINI, G., Harrison, M., Meyer, T., & Swan, R. (2019). Arbitrary Ranking of Defeasible Subsumption. In Proceedings of the 32nd International Workshop on Description Logics. CEUR. ![]() |
![]() ![]() | CASINI, G., Straccia, U., & Meyer, T. (2019). A Polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure. Information Sciences. doi:10.1016/j.ins.2018.09.037 ![]() |
![]() ![]() | CASINI, G., Ferme, E., Meyer, T., & Varzinczak, I. (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) (pp. 220-229). Palo Alto, United States - California: AAAI Press. ![]() |
![]() ![]() | CASINI, G., Meyer, T., & Varzinczak, I. (2018). Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond. In Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) (pp. 109-118). ![]() |
![]() ![]() | CASINI, G., Meyer, T., Varzinczak, I., & Booth, R. (2018). On Rational Entailment for Propositional Typicality Logic. (1809.10946). ArXiv. https://orbilu.uni.lu/handle/10993/37863 |
![]() ![]() | Wyner, A., & CASINI, G. (Eds.). (2017). Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference. IOS Press BV. |
![]() ![]() | CASINI, G., & Meyer, T. (2017). Belief Change in a Preferential Non-Monotonic Framework. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 929-935). International Joint Conferences on Artificial Intelligence. doi:10.24963/ijcai.2017/129 ![]() |
![]() ![]() | CRAMER, M., & CASINI, G. (2017). Postulates for Revocation Schemes. In M. CRAMER & G. CASINI, Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (pp. 232-252). Springer. doi:10.1007/978-3-662-54455-6_11 ![]() |
![]() ![]() | Booth, R., CASINI, G., & Varzinczak, I. (Eds.). (2017). DARe-17 - Proceedings of the Fourth International Workshop on Defeasible and Ampliative Reasoning. CEUR Workshop Proceedings. |
![]() ![]() | Booth, R., CASINI, G., Meyer, T., & Varzinczak, I. (2017). Extending Typicality for Description Logics. University of Luxembourg. https://orbilu.uni.lu/handle/10993/32165 |
![]() ![]() | CASINI, G., & Meyer, T. (2016). Using Defeasible Information to Obtain Coherence. In C. Baral, J. Delgrande, ... F. Wolter (Eds.), Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16). AAAI Press. ![]() |
![]() ![]() | Rens, G., Meyer, T., & CASINI, G. (2016). Revising Incompletely Specified Convex Probabilistic Belief Bases. In G. Kern-Isberner, & R. Wassermann (Eds.), Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) (pp. 133-142). Technische Universität Dortmund. ![]() |
![]() ![]() | Booth, R., CASINI, G., Klarman, S., Gilles, R., & Varzinczak, I. (Eds.). (2016). DARe-16 - Proceedings of the International Workshop on Defeasible and Ampliative Reasoning. CEUR Workshop Proceedings. |
![]() ![]() | CASINI, G., & Meyer, T. (2016). Using Defeasible Information to Obtain Coherence. In BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence (pp. 124-125). ![]() |
![]() ![]() | Rens, G., Meyer, T., & CASINI, G. (2016). On Revision of Partially Specified Convex Probabilistic Belief Bases. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16). doi:10.3233/978-1-61499-672-9-921 ![]() |
![]() ![]() | CASINI, G., Meyer, T., Moodley, K., Sattler, U., & Varzinczak, I. (2015). Introducing Defeasibility into OWL Ontologies. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d’Aquin, K. Srinivas, P. Groth, M. Dumontier, J. Heflin, K. Thirunarayan, ... S. Staab (Eds.), 14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II (pp. 409-426). Springer. ![]() |
![]() ![]() | BOOTH, R., CASINI, G., Meyer, T., & Varzinczak, I. (2015). On the Entailment Problem for a Logic of Typicality. In Q. Yang & M. Wooldridge (Eds.), Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015 (pp. 2805-2811). Palo Alto, United States - California: AAAI Press. ![]() |
![]() ![]() | Ruttkamp-Bloem, E., CASINI, G., & Meyer, T. (2015). A non-classical logical foundation for naturalised realism. In P. Arazim & M. Dančák (Eds.), The Logica Yearbook (pp. 249-266). United Kingdom: College Publications. ![]() |
![]() ![]() | Booth, R., CASINI, G., Klarman, S., Richard, G., & Varzinczak, I. (Eds.). (2015). Proceedings of the 2nd International Workshop on Defeasible and Ampliative Reasoning (DARe-15). CEUR Workshop Proceedings. |