Segueix
Giovanni Casini
Giovanni Casini
CNR - ISTI
Correu electrònic verificat a isti.cnr.it - Pàgina d'inici
Títol
Citada per
Citada per
Any
Rational closure for defeasible description logics
G Casini, U Straccia
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010
1972010
Defeasible inheritance-based description logics
G Casini, U Straccia
Journal of Artificial Intelligence Research 48, 415-473, 2013
1252013
Defeasible inheritance-based description logics
G Casini, U Straccia
Journal of Artificial Intelligence Research 48, 415-473, 2013
1252013
Defeasible inheritance-based description logics
G Casini, U Straccia
Journal of Artificial Intelligence Research 48, 415-473, 2013
1252013
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
842014
A Deep Learning Approach to Contract Element Extraction.
I Chalkidis, I Androutsopoulos
JURIX 2017, 155-164, 2017
782017
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
662013
Lexicographic closure for defeasible description logics
G Casini, U Straccia
Proc. of Australasian Ontology Workshop 969, 28-39, 2012
562012
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
542015
On the entailment problem for a logic of typicality
R Booth, G Casini, T Meyer, I Varzinczak
462015
A polynomial time subsumption algorithm for nominal safe ELO⊥ under rational closure
G Casini, U Straccia, T Meyer
Information Sciences 501, 588-620, 2019
412019
Taking defeasible entailment beyond rational closure
G Casini, T Meyer, I Varzinczak
European Conference on Logics in Artificial Intelligence, 182-197, 2019
412019
Towards practical defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, I Varzinczak
Centre for Artificial Intelligence Research, 2013
412013
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
392013
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
342020
Preferential role restrictions
K Britz, G Casini, T Meyer, I Varzinczak
CAIR (Centre for Artificial Intelligence Research), 2013
332013
On rational entailment for propositional typicality logic
R Booth, G Casini, T Meyer, I Varzinczak
Artificial Intelligence 277, 103178, 2019
252019
Answering legal research questions about dutch case law with network analysis and visualization
D Kuppevelt, G Dijck
Legal Knowledge and Information Systems: JURIX 2017: The Thirtieth Annual …, 2017
252017
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
182013
Rational defeasible reasoning for description logics
K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
University of Cape Town, 2018
172018
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20