CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe study the framework of abductive logic programming extended with integrity constraints. For this framework, we introduce a new measure of the simplicity of an explanation based on its degree of arbitrariness: the more arbitrary the explanation, the less appealing it is, with explanations having no arbitrariness-they are called constrained-being the preferred ones. In the paper, we study basic properties of constrained explanations. For the case when programs in abductive theories are stratified we establish results providing a detailed picture of the complexity of the problem to decide whether constrained explanations exist
A Measure of Arbitrariness in Abductive Explanations. / Caroprese, L; Trubitsyna, I; Truszczynski, M; Zumpano, Ester. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - 14:4-5(2014), pp. 665-679.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | A Measure of Arbitrariness in Abductive Explanations. |
| Autori: | |
| Data di pubblicazione: | 2014 |
| Rivista: | |
| Citazione: | A Measure of Arbitrariness in Abductive Explanations. / Caroprese, L; Trubitsyna, I; Truszczynski, M; Zumpano, Ester. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - 14:4-5(2014), pp. 665-679. |
| Handle: | http://hdl.handle.net/20.500.11770/149742 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/20.500.11770/149742
Copyright © 2020