Giovanni Casini
Titel
Citeras av
Citeras av
År
Rational closure for defeasible description logics
G Casini, U Straccia
European Workshop on Logics in Artificial Intelligence, 77-90, 2010
1302010
Defeasible inheritance-based description logics
G Casini, U Straccia
Journal of Artificial Intelligence Research 48, 415-473, 2013
802013
Defeasible inheritance-based description logics
G Casini, U Straccia
Journal of Artificial Intelligence Research 48, 415-473, 2013
802013
Relevant closure: A new form of defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, R Nortjé
European Workshop on Logics in Artificial Intelligence, 92-106, 2014
412014
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
412013
Lexicographic closure for defeasible description logics
G Casini, U Straccia
Proc. of Australasian Ontology Workshop 969, 28-39, 2012
352012
Introducing defeasibility into OWL ontologies
G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
International Semantic Web Conference, 409-426, 2015
322015
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
302013
Preferential role restrictions
K Britz, G Casini, T Meyer, I Varzinczak
CAIR (Centre for Artificial Intelligence Research), 2013
272013
On the entailment problem for a logic of typicality
R Booth, G Casini, TA Meyer, IJ Varzinczak
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
242015
Towards practical defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, I Varzinczak
Centre for Artificial Intelligence Research, 2013
232013
A polynomial time subsumption algorithm for nominal safe ELO⊥ under rational closure
G Casini, U Straccia, T Meyer
Information Sciences 501, 588-620, 2019
122019
On revision of partially specified convex probabilistic belief bases
G Rens, T Meyer, G Casini
Proceedings of the Twenty-second European Conference on Artificial …, 2016
92016
Rational defeasible reasoning for description logics
K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
University of Cape Town, 2018
72018
A KLM perspective on defeasible reasoning for description logics
K Britz, G Casini, T Meyer, I Varzinczak
Description Logic, Theory Combination, and All That, 147-173, 2019
62019
Answering Legal Research Questions About Dutch Case Law with Network Analysis and Visualization
DV KUPPEVELT, GV DIJCK
Legal Knowledge and Information Systems: JURIX 2017: The Thirtieth Annual …, 2017
5*2017
Noise Induced Hearing Loss: An Application f the Angelic Methodology
A Wyner, G Casini
Legal Knowledge and Information Systems, 79, 2017
52017
Theoretical foundations of defeasible description logics
K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
arXiv preprint arXiv:1904.07559, 2019
42019
Postulates for revocation schemes
M Cramer, G Casini
International Conference on Principles of Security and Trust, 232-252, 2017
42017
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
42013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20