Atocha Aliseda-Llera

According to our database, Atocha Aliseda-Llera authored at least 10 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

How to prove it in Natural Deduction: A Tactical Approach.

Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera

CoRR, 2015

2014

A conditional logic for abduction.

Mathieu Beirlaen, Atocha Aliseda-Llera

Synth., 2014

2013

Hypotheses testing in adaptive logics: an application to medical diagnosis.

Atocha Aliseda-Llera, Laura Leonides

Log. J. IGPL, 2013

2011

Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems.

Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera

Proceedings of the Otto Neurath and the Unity of Science, 2011

2009

Abduction via <i>C</i>-tableaux and delta-resolution.

Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera

J. Appl. Non Class. Logics, 2009

2006

Model-Baded Abduction via Dual Resolution.

Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera

Log. J. IGPL, 2006

Towards Abductive Reasoning in First-order Logic.

A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández

Log. J. IGPL, 2006

2005

What is a Logical System? A Commentary.

Atocha Aliseda-Llera

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003

Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach.

Atocha Aliseda-Llera

Synth., 2003

2002

Abduction, Reason, and Science: A Review.

Atocha Aliseda-Llera

AI Mag., 2002