Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality- Extended Abstract

被引：0

|

作者：

Alviano, Mario ^{[1
]}

Giordano, Laura ^{[2
]}

Dupre, Daniele Theseider ^{[2
]}

机构：

[1] Univ Calabria, Arcavacata Di Rende, CA, Italy

[2] Univ Piemonte Orientale, Vercelli, VC, Italy

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 385卷

关键词：

RATIONAL CLOSURE; FUZZY; LOGICS;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：5

相关论文

共 6 条

[1] Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Alviano, Mario
Giordano, Laura
Dupre, Daniele Theseider
JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (08) : 1469 - 1499
[2] Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
Alviano, Mario
Giordano, Laura
Dupre, Daniele Theseider
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 481 - 497
[3] An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
GIORDANO, L. A. U. R. A.
THESEIDER DUPRE, D. A. N. I. E. L. E.
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 589 - 605
[4] Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics
Alviano, Mario
Giordano, Laura
Dupre, Daniele Theseider
INTELLIGENZA ARTIFICIALE, 2024, 18 (01) : 153 - 174
[5] Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract)
Liu, Fangfang
You, Jia-Huai
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5627 - 5631
[6] Study of model distances on logical statements based on expert interpretation of the formulas of many-valued logics of Lukasiewicz and automatic clustering of knowledge bases. II
Vikent'ev, A. A.
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2016, 82 (02): : 32 - 39