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 Peer Reviewed verified by ORBi |
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 Peer reviewed |
Casini, G., Di Caro, L., Governatori, G., Leone, V., & Markovich, R. (2020). Mining and Reasoning with Legal Texts – MIREL 2019. CEUR Workshop Proceedings. Peer reviewed |
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 Peer reviewed |
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. Peer reviewed |
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 Peer reviewed |
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 Peer reviewed |
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. Peer reviewed |
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). Peer reviewed |
Casini, G., Meyer, T., Varzinczak, I., & Booth, R. (2018). On Rational Entailment for Propositional Typicality Logic. (1809.10946). ArXiv. |
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 Peer reviewed |
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 Peer reviewed |
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. |
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. Peer reviewed |
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. Peer reviewed |
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). Peer reviewed |
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 Peer reviewed |
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. Peer reviewed |
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. Peer reviewed |
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. Peer reviewed |
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. |