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.
AbstractKatsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change:...
. Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theor...
There are several contexts of non-monotonic reasoning where a priority between rules is established ...
AbstractEmploying a logic program approach, this paper focuses on applying preferential reasoning to...
This work focuses on updating and revising theories with preferences within the context of logic pro...
This work proposes the application of preferences over abductive logic programs as an appealing decl...
AbstractIn abductive reasoning, preference criteria for selecting the best explanation are regarded ...
Abstract This is an exploratory document for a new research line in logical semantics which is emer...
We propose a systematic investigation on how to modify a preference relation in a defeasible logic t...
International audienceOrderings and inference relations can be successfully used to model the behavi...
Abstract. We propose a systematic investigation on how to modify a preference relation in a defeasib...
In this rather technical paper we establish a useful combination of belief revision and verisimilitu...
AbstractOrderings and inference relations can be successfully used to model the behavior of a ration...
We propose sometimes very plausible hypotheses as explanations for an observation, given what we kno...
In this rather technical paper we establish a useful combination of belief revision and verisimilitu...
AbstractKatsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change:...
. Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theor...
There are several contexts of non-monotonic reasoning where a priority between rules is established ...
AbstractEmploying a logic program approach, this paper focuses on applying preferential reasoning to...
This work focuses on updating and revising theories with preferences within the context of logic pro...
This work proposes the application of preferences over abductive logic programs as an appealing decl...
AbstractIn abductive reasoning, preference criteria for selecting the best explanation are regarded ...
Abstract This is an exploratory document for a new research line in logical semantics which is emer...
We propose a systematic investigation on how to modify a preference relation in a defeasible logic t...
International audienceOrderings and inference relations can be successfully used to model the behavi...
Abstract. We propose a systematic investigation on how to modify a preference relation in a defeasib...
In this rather technical paper we establish a useful combination of belief revision and verisimilitu...
AbstractOrderings and inference relations can be successfully used to model the behavior of a ration...
We propose sometimes very plausible hypotheses as explanations for an observation, given what we kno...
In this rather technical paper we establish a useful combination of belief revision and verisimilitu...
AbstractKatsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change:...
. Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theor...
There are several contexts of non-monotonic reasoning where a priority between rules is established ...