Relevant closure: A new form of defeasible reasoning for description logics

被引：28

作者：

Casini, Giovanni ^{[1
]}

Meyer, Thomas ^{[1
]}

Moodley, Kodylan ^{[1
]}

Nortjé, Riku ^{[1
]}

机构：

[1] Centre for Artificial Intelligence Research (CSIR Meraka and UKZN), South Africa

来源：

关键词：

D O I：

10.1007/978-3-319-11558-0_7

中图分类号：

学科分类号：

摘要：

引用

页码：92 / 106

共 50 条

[1] Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
Casini, Giovanni
Meyer, Thomas
Moodley, Kodylan
Nortje, Riku
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 92 - 106
[2] Practical Defeasible Reasoning for Description Logics
Moodley, Kody
Meyer, Thomas
Sattler, Uli
STAIRS 2014, 2014, 264 : 191 - +
[3] Rational Closure for Defeasible Description Logics
Casini, Giovanni
Straccia, Umberto
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 77 - 90
[4] Defeasible Description Logics
Varzinczak, Ivan
KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 539 - 542
[5] Defeasible description logics
Governatori, G
RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 98 - 112
[6] Defeasible Description Logics
Ivan Varzinczak
KI - Künstliche Intelligenz, 2020, 34 : 539 - 542
[7] Argument construction and reinstatement in logics for defeasible reasoning
Horty J.F.
Artificial Intelligence and Law, 2001, 9 (1) : 1 - 28
[8] A family of defeasible reasoning logics and its implementation
Antoniou, G
Billington, D
Governatori, G
Maher, MJ
Rock, A
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 459 - 463
[9] Defeasible inheritance-based description logics
1600, AI Access Foundation (48):
[10] Defeasible Inheritance-Based Description Logics
Casini, Giovanni
Straccia, Umberto
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 415 - 473