| Rational closure for defeasible description logics G Casini, U Straccia Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010 | 206 | 2010 |
| Defeasible inheritance-based description logics G Casini, U Straccia Journal of Artificial Intelligence Research 48, 415-473, 2013 | 134 | 2013 |
| Defeasible inheritance-based description logics G Casini, U Straccia Journal of Artificial Intelligence Research 48, 415-473, 2013 | 134 | 2013 |
| Relevant closure: A new form of defeasible reasoning for description logics G Casini, T Meyer, K Moodley, R Nortjé Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 95 | 2014 |
| A deep learning approach to contract element extraction I Chalkidis, I Androutsopoulos Legal knowledge and information systems, 155-164, 2017 | 90 | 2017 |
| Nonmonotonic reasoning in description logics. Rational closure for the ABox G Casini, T Meyer, K Moodley, I Varzinczak CAIR (Centre for Artificial Intelligence Research), 2013 | 69 | 2013 |
| Taking defeasible entailment beyond rational closure G Casini, T Meyer, I Varzinczak European Conference on Logics in Artificial Intelligence, 182-197, 2019 | 57 | 2019 |
| Lexicographic closure for defeasible description logics G Casini, U Straccia Proc. of Australasian Ontology Workshop 969, 28-39, 2012 | 57 | 2012 |
| Introducing defeasibility into OWL ontologies G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015 | 56 | 2015 |
| Principles of KLM-style defeasible description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak ACM Transactions on Computational Logic (TOCL) 22 (1), 1-46, 2020 | 49 | 2020 |
| Towards practical defeasible reasoning for description logics G Casini, T Meyer, K Moodley, I Varzinczak Centre for Artificial Intelligence Research, 2013 | 48 | 2013 |
| On the entailment problem for a logic of typicality R Booth, G Casini, T Meyer, I Varzinczak | 47 | 2015 |
| A polynomial time subsumption algorithm for nominal safe ELO⊥ under rational closure G Casini, U Straccia, T Meyer Information Sciences 501, 588-620, 2019 | 43 | 2019 |
| Ordered interpretations and entailment for defeasible description logics K Britz, G Casini, T Meyer, K Moodley, I Varzinczak Technical report, CAIR, CSIR Meraka and UKZN, South Africa, 2013 | 39 | 2013 |
| Preferential role restrictions K Britz, G Casini, T Meyer, I Varzinczak CAIR (Centre for Artificial Intelligence Research), 2013 | 34 | 2013 |
| On rational entailment for propositional typicality logic R Booth, G Casini, T Meyer, I Varzinczak Artificial Intelligence 277, 103178, 2019 | 28 | 2019 |
| Answering legal research questions about dutch case law with network analysis and visualization D van Kuppevelt, G van Dijck Legal knowledge and information systems, 95-100, 2017 | 27 | 2017 |
| Towards rational closure for fuzzy logic: The case of propositional gödel logic G Casini, U Straccia International Conference on Logic for Programming Artificial Intelligence …, 2013 | 20 | 2013 |
| Rational defeasible reasoning for description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak University of Cape Town, 2018 | 17 | 2018 |
| A KLM perspective on defeasible reasoning for description logics K Britz, G Casini, T Meyer, I Varzinczak Description Logic, Theory Combination, and All That: Essays Dedicated to …, 2019 | 16 | 2019 |
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Verified email at uct.ac.za
