Ángel Nepomuceno-Fernández

Enrique Sarrión-Morillo

Log. J. IGPL, 2015

Set theory and tableaux for teaching propositional logic.

[BibT_eX]

[DOI]

Nino Guallart

CoRR, 2015

Public and Secret Forgetting of Propositional Formulas.

[BibT_eX]

[DOI]

Enrique Sarrión-Morillo

Proceedings of the Advances in Artificial Intelligence, 2015

2013

Dynamic Consequence and Public announcement.

[BibT_eX]

[DOI]

Andrés Cordón-Franco

Hans van Ditmarsch

Rev. Symb. Log., 2013

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

2012

A modal framework for modelling abductive reasoning.

[BibT_eX]

[DOI]

David Fernández-Duque

Log. J. IGPL, 2012

Tableaux for structural abduction.

[BibT_eX]

[DOI]

Francisco J. Salguero-Lamillar

David Fernández-Duque

Log. J. IGPL, 2012

2011

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

[BibT_eX]

[DOI]

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

Information-Theoretic Perspective for Teaching Logic.

[BibT_eX]

[DOI]

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2009

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

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

2006

Model-Baded Abduction via Dual Resolution.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

Towards Abductive Reasoning in First-order Logic.

[BibT_eX]

[DOI]

A. Liliana Reyes-Cabello

Log. J. IGPL, 2006

: Tableaux and Resolution for Finite Abduction.

[BibT_eX]

[DOI]