![]() ![]() | CASINI, G., Straccia, U., & Meyer, T. (In press). A Polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure. Information Sciences. doi:10.1016/j.ins.2018.09.037 ![]() |
![]() ![]() | 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., 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., 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., Meyer, T., Varzinczak, I., & Booth, R. (2018). On Rational Entailment for Propositional Typicality Logic. (1809.10946). ArXiv. |
![]() ![]() | 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., 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. ![]() |
![]() ![]() | 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., Meyer, T., & Varzinczak, I. (2017). Extending Typicality for Description Logics. University of Luxembourg. |
![]() ![]() | Booth, R., CASINI, G., & Varzinczak, I. (Eds.). (2017). DARe-17 - Proceedings of the Fourth International Workshop on Defeasible and Ampliative Reasoning. CEUR Workshop Proceedings. |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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). ![]() |
![]() ![]() | 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. |
![]() ![]() | 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. |