#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1997

2015

- This year (0)
- Last 5 years (3)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Atocha Aliseda-Llera, J Van Benthem
- 1997

In this dissertation I study abduction, that is, reasoning from an observation to its possible explanations, from a logical point of view. This approach naturally leads to connections with theories of explanation in the philosophy of science, and to computationally oriented theories of belief change in Arti cial Intelligence. Many di erent approaches to… (More)

- Atocha Aliseda-Llera
- AI Magazine
- 2002

- A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández
- Logic Journal of the IGPL
- 2006

- Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera
- Logic Journal of the IGPL
- 2006

This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and uses appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive processes, as a way to construct a set of abductive… (More)

- Mathieu Beirlaen, Atocha Aliseda-Llera
- Synthese
- 2014

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 order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial… (More)

- Atocha Aliseda-Llera
- Synthese
- 2003

- Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
- Journal of Applied Non-Classical Logics
- 2009

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 order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial… (More)

- Atocha Aliseda-Llera, Laura Leonides
- Logic Journal of the IGPL
- 2013

- Atocha Aliseda-Llera
- We Will Show Them!
- 2005