Atocha Aliseda-Llera

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 1

Top Topics

Medical Diagnostic

Natural Deduction

Conditional Logic

Defeasible Reasoning

Top Venues

Publications

Favio E. Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera
How to prove it in Natural Deduction: A Tactical Approach. CoRR (2015)
Mathieu Beirlaen, Atocha Aliseda-Llera
A conditional logic for abduction. Synth. 191 (15) (2014)
Atocha Aliseda-Llera, Laura Leonides
Hypotheses testing in adaptive logics: an application to medical diagnosis. Log. J. IGPL 21 (6) (2013)
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
-tableaux and delta-resolution. J. Appl. Non Class. Logics 19 (2) (2009)
Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera
Model-Baded Abduction via Dual Resolution. Log. J. IGPL 14 (2) (2006)
A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández
Towards Abductive Reasoning in First-order Logic. Log. J. IGPL 14 (2) (2006)
Atocha Aliseda-Llera
What is a Logical System? A Commentary. We Will Show Them! (1) (2005)
Atocha Aliseda-Llera
Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach. Synth. 134 (1-2) (2003)
Atocha Aliseda-Llera
Abduction, Reason, and Science: A Review. AI Mag. 23 (1) (2002)