Add to ORKGThis paper shows some interesting properties of Kleene's threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics. 1 Introductio
A multi-theory framework is presented where both abduction and dynamic theory composition are modell...
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a d...
Study of contemporary theories which aim at formalizing abduction by means of a non-monotonic framew...
This paper shows some interesting properties of Kleene's threevalued logic in relation to abducti...
There is a growing interest in ways to represent incomplete information in logic programs. It has be...
AbstractIn this paper, we propose a three-valued completion semantics for abductive logic programs, ...
In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms...
Logic programming with abductive reasoning is used during the realization of a data dictionary with ...
I will analyse some properties of abduction that are essential from a logical standpoint. When deali...
AbstractAbduction is an inference mechanism where given a knowledge base and some observations, the ...
International audienceThere are several three-valued logical systems. They give the impression of a ...
AbstractThis paper presents a sound and complete procedure with respect to the 3-valued stable model...
Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional ...
Abductive problems and their solutions are presented by means of justification logic. We introduce a...
Summary. Most logic–based approaches characterize abduction as a kind of back-wards deduction plus a...
A multi-theory framework is presented where both abduction and dynamic theory composition are modell...
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a d...
Study of contemporary theories which aim at formalizing abduction by means of a non-monotonic framew...
This paper shows some interesting properties of Kleene's threevalued logic in relation to abducti...
There is a growing interest in ways to represent incomplete information in logic programs. It has be...
AbstractIn this paper, we propose a three-valued completion semantics for abductive logic programs, ...
In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms...
Logic programming with abductive reasoning is used during the realization of a data dictionary with ...
I will analyse some properties of abduction that are essential from a logical standpoint. When deali...
AbstractAbduction is an inference mechanism where given a knowledge base and some observations, the ...
International audienceThere are several three-valued logical systems. They give the impression of a ...
AbstractThis paper presents a sound and complete procedure with respect to the 3-valued stable model...
Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional ...
Abductive problems and their solutions are presented by means of justification logic. We introduce a...
Summary. Most logic–based approaches characterize abduction as a kind of back-wards deduction plus a...
A multi-theory framework is presented where both abduction and dynamic theory composition are modell...
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a d...
Study of contemporary theories which aim at formalizing abduction by means of a non-monotonic framew...