Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663221 | Journal of Applied Logic | 2007 | 16 Pages |
Abstract
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Pierangelo Dell'Acqua, LuĂs Moniz Pereira,