The general purpose of this chapter is to provide a critical analysis on the controversial
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …

Hintikka has said that abduction is the fundamental problem of contemporary epistemology.
He proposes four theses (Kapitan-Hintikka) to characterize the concept of abduction, a form …

This papers presents δ-resolution, a dual resolution calculus. It is based on standard
resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of …

The formalization of abductive reasoning has received increasing attention from logicians.
However, few work is found beyond abduction in propositional logic, given that in a first …

In this work, we shall study structural abduction and how ways of searching for solutions to
the corresponding abductive problems could be modeled. Specifically, we shall define …

Abstract n-tableaux [1] and δ-resolution [2], which are based, respectively, on semantic
tableaux and resolution, have been properly used for the resolution of abductive problems …

From an informational point of view, an inference or argumentation can be considered as a
finite sequence of sentences of a language, not arbitrarily ordered, for which one may …

Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-
estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus …

In this work, we shall study structural abduction and how ways of searching for solutions to
the corresponding abductive problems could be modeled. Specifically, we shall define …

In order to explore the duality between deductive and abductive reasoning, we present a
propositional calculus, named δ-resolution, dual to the resolution one. We say it is an …