A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Modern Information Processing
In this paper we exploit Answer Set Programming (ASP) to formalize (and reason about) uncertainty expressed by belief orderings. The availability of ASP-solvers supports the design of automated tools to handle such formalizations. Our proposal reveals particularly suitable whenever the domain of discernment is "partial", i.e. it does not represent a closed world but just the relevant part of a problem. We first illustrate how to automatically "classify", according to the most well-knowndoi:10.1016/b978-044452075-3/50012-1 fatcat:zjcyxeuhenaafek2xphdluzdd4