Abstract
We present a Defeasible Logic variant able to incorporate two different and conflicting facets of non-monotonic reasoning: ambiguity blocking and ambiguity propagation. The resulting logic is conservative about the two notions. We investigate the logical properties and we present efficient algorithms for the logic.
Original language | English |
---|---|
Title of host publication | Rules and Reasoning |
Subtitle of host publication | 8th International Joint Conference, RuleML+RR 2024, Proceedings |
Editors | Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman |
Place of Publication | Cham, Switzerland |
Publisher | Springer Science and Business Media Deutschland GmbH |
Pages | 217-233 |
Number of pages | 17 |
Volume | 15183 |
ISBN (Electronic) | 9783031724077 |
ISBN (Print) | 9783031724060 |
DOIs | |
Publication status | Published - 2024 |
Event | 8th International Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024: Declarative AI 2024 - Bucharest University of Economic Studies , Bucharest, Romania Duration: 16 Sept 2024 → 18 Sept 2024 https://doi.org/10.1007/978-3-031-72407-7 (Proceedings) https://2024.declarativeai.net/home (Conference website) https://2024.declarativeai.net/events/ruleml-rr/program (Program) https://ceur-ws.org/Vol-3816/ (Companion proceedings) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 15183 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 8th International Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024 |
---|---|
Abbreviated title | Rules, reasoning, decisions, and explanations |
Country/Territory | Romania |
City | Bucharest |
Period | 16/09/24 → 18/09/24 |
Other | Declarative AI 2024 brings together the 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024), DecisionCAMP 2024, and the 20th Reasoning Web Summer School (RW 2024). It will take place at Bucharest, Romania during 16 - 22 September, 2024. With its general topic "Declarative AI", the event aims at presenting the latest advancements in AI and rules, reasoning, decisions, and explanations and their adoption in IT systems towards improving key fields such as environment, health and societies. Declarative AI 2024 is co-organised by Bucharest University of Economic Studies (ASE), OsloMet - Oslo Metropolitan University, and SINTEF AS at the premises of ASE. |
Internet address |
|