BibTeX Collection

@article: Nepomuceno:SistematizacionDescubrimiento

Tag	Content
Author	Ángel Nepomuceno
Title	Sistematización del Descubrimiento y la Explicación: La Elaboración de una Lógica Abductiva
Year	2009
Journal	CRÍTICA. Revista Hispanoamericana de Filosofía
Month	diciembre
Number	123
Pages	129--146
Volume	41

@article: NepomucenoSoler:MetamodelingAbduction

Tag	Content
Author	Ángel Nepomuceno and F. Soler Toscano
Title	Metamodeling abduction
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@article: NepomucenoSolerAliseda:SearchingUnityScience

Tag	Content
Author	Ángel Nepomuceno and F. Soler and A. Aliseda
Title	Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems
Year	2011
Journal	Otto Neurath and the Unity of Science
Pages	201--212
Publisher	Springer

@incollection: Nepomuceno:ScientificExplanation

Tag	Content
Author	Ángel Nepomuceno-Fernández
Title	Scientific Explanation and Modified Semantic Tableaux
Year	2002
Address	Dordrecht/Boston/London
Booktitle	Logical and Computational Aspects of Model-Based Reasoning
Editor	Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi
Pages	181--198
Publisher	Kluwer Academic Publishers
Series	Applied Logic Series
Volume	25

@article: NepomucenoSalgueroFernandez:TableauxStructuralAbduction

Tag	Content
Author	Ángel Nepomuceno-Fernández and Francisco J. Salguero-Lamillar and David Fernández-Duque
Title	Tableaux for structural abduction
Year	2012
Abstract	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 modal semantic tableaux for normal modal systems and study its applications to structural abduction. This method even makes structural abduction clearer and, as it shall be seen, when a radical change of logic is epistemologically required, the corresponding tableau will have pertinent information to suggest it.
Doi	10.1093/jigpal/jzq054
Eprint	http://jigpal.oxfordjournals.org/content/20/2/388.full.pdf+html
Journal	Logic Journal of IGPL
Number	2
Pages	388--399
Volume	20
URL	http://jigpal.oxfordjournals.org/content/20/2/388.abstract

@incollection: Amaya:InferenceBestLegalExpl

Tag	Content
Author	A. Amaya
Title	Inference to the best legal explanation
Year	2009
Booktitle	Legal Evidence and Proof: Statistics, Stories, Logic
Editor	H. Kaptein and H. Prakken and B. Verheij
Journal	Legal Evidence and Proof: Statistics, Stories, Logic
Location	Surrey
Pages	135--1360
Publisher	Ashgate

@article: DiazUzcategui:RepresentationTheorems

Tag	Content
Author	A. Díaz and C. Uzcátegui
Title	Representation theorems for explanatory reasoning based on cumulative models
Year	2008
Journal	Journal of Applied Logic
Number	4
Pages	564--579
Publisher	Elsevier
Volume	6

@article: LaureanoTeranArriaga:EnfoqueDidactico

Tag	Content
Author	A. Laureano-Cruces and A. Terán-Gilmore and F. de Arriaga
Title	Un Enfoque Didáctico-Cognitivo del Análisis de los Conceptos de los Sistemas de un Grado de Libertad
Year	2003
Journal	Revista Digital Universitaria
Number	7
Volume	4

@inproceedings: Rivadulla:ComplementaryStrategies

Tag	Content
Author	A. Rivadulla
Title	Complementary Strategies in Scientific Discovery: Abduction and Preduction
Year	2010
Booktitle	Ideas In Action: Proceedings of the Applying Peirce Conference
Editor	M. Bergman and S. Paavola and A. Pietarinen and H. Rydenfelt
Location	Helsinki
Pages	264--276
Publisher	Nordic Pragmatism Network

@inproceedings: Viguera:RepresentacionGenesis

Tag	Content
Author	A. Viguera
Title	La representación y la génesis de hipótesis: una lectura psicoanalítica
Year	2005
Booktitle	II Simposio Internacional: Representación en la Ciencia y en el Arte, La Falda, Córdoba. Disponible en http://arielviguera. googlepages. com/aspectos

@article: RodriguezAlisedaArauz:MedicinaLogica

Tag	Content
Author	A.C. Rodríguez de Romo and A. Aliseda and A. Arauz
Title	Medicina y lógica: El Proceso Diagnóstico en la Neurología
Year	2008
Journal	Ludus vitalis
Number	30
Pages	135--163
Volume	16

@article: LaureanoTeranArriaga:LearningModel

Tag	Content
Author	A.L. Laureano-Cruces and A. Terán-Gilmore and F. Arriaga
Title	A learning model based on a didactic cognitive approach: The case of single-degree-of-freedom systems
Year	2004
Journal	Computer Applications in Engineering Education
Number	3
Pages	152--164
Publisher	Wiley Online Library
Volume	12

@article: Ullah:LogicalInteraction

Tag	Content
Author	A.M.M.S. Ullah
Title	Logical interaction between domain knowledge and human cognition in design
Year	2008
Journal	International Journal of Manufacturing Technology and Management
Number	1
Pages	215--227
Publisher	Inderscience
Volume	14

@article: Ulloa:EquilibracionRazonamiento

Tag	Content
Author	A.R.H. Ulloa
Title	La equilibración como razonamiento abductivo
Year	2008
Journal	EDUCATIO
Pages	7
Volume	5

@article: Mackonis:GeriausioPaaiskinimo

Tag	Content
Author	Adolfas Mackonis
Title	Geriausio Paaiskinimo Isvedimas. Tarp Dedukcijos, Indukcijos ir Abdukcijos
Year	2009
Journal	Problemos
Pages	150--161
Volume	76

@inproceedings: Ramirez:PeirceIA

Tag	Content
Author	Alejandro Ramírez Figueroa
Title	Peirce desde la inteligencia artificial: la abducción y la condición de consistencia
Year	2006
Booktitle	II Jornadas ``Peirce en Argentina''

@article: Ramirez:InferenciaAbductiva

Tag	Content
Author	Alejandro Ramírez Figueroa
Title	Inferencia abductiva y generación de hipótesis
Year	2006
Issn	0718-4360
Journal	Revista de filosofía
Month	00
Pages	73--79
Publisher	scielocl
Volume	62
URL	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-43602006000100005&nrm=iso

@article: Ramirez:InfAbdModelos

Tag	Content
Author	Alejandro Ramírez Figueroa
Title	Inferencia abductiva basada en modelos. Una relación entre lógica y cognición
Year	2011
Issn	0011-1503
Journal	CRÍTICA. Revista Hispanoamericana de Filosofía
Month	12
Number	129
Pages	3--29
Publisher	UNAM
Volume	43
URL	http://critica.filosoficas.unam.mx/

@article: Ibarra:AportePeirceano

Tag	Content
Author	Alex Ibarra Peña
Title	Revisión para una teoría de la inferencia: el aporte Peirceano
Year	2010
Journal	Límite. Revista de Filosofía y Psicología
Number	22
Volume	5

@article: Ibarra:DrHouse

Tag	Content
Author	Alex Ibarra Peña
Title	Análisis del discurso, cognición e inferencia abductiva en el Dr. House
Year	2011
Journal	Crítica.cl
URL	http://www.critica.cl/html/alex_ibarra_01.html

@phdthesis: Bosch:RationalityDiscovery

Tag	Content
Author	Alexander Petrus Maria van den Bosch
Title	Rationality in discovery: a study of logic, cognition, computation and neuropharmacology
Year	2001
School	University of Groningen

@inproceedings: LaureanoTeranArriaga:ImportanciaEstrategias

Tag	Content
Author	Ana Lilia Laureano-Cruces and Amador Terán-Gilmore and Fernando de Arriaga Gómez and Mohamed El Alami
Title	La importancia de las estrategias cognitivas en el diseño del curricula didáctico
Year	2003
Address	Zacatecas
Booktitle	XVI Congreso Nacional y II Congreso Internacional de Informática y Computación de la ANIEI
Pages	35--41
Volume	1

@article: Perez:DistincionContextoDesc

Tag	Content
Author	Ana Rosa Pérez Ransanz
Title	¿Qué queda de la distinción entre contexto de descubrimiento y contexto de justificación?
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@phdthesis: Gravia:ProblemaCientifico

Tag	Content
Author	Ana Rosa di Gravia
Title	El problema científico: Aspectos lógico--lingüísticos y epistemológicos
Year	2006
Address	Venezuela
School	Universidad Nacional Experimental Simón Rodríguez

@article: Paez:ArtificialExplanationsinAI

Tag	Content
Author	Andrés Páez
Title	Artificial Explanations: the epistemological interpretation of explanation in AI
Year	2009
Affiliation	Universidad de los Andes, Bogotá, Colombia
Doi	DOI: 10.1007/s11229-008-9361-3
Issn	0039-7857
Issue	1
Journal	Synthese
Keyword	Humanities, Social Sciences and Law
Pages	131--146
Publisher	Springer Netherlands
Volume	170

@article: Barcelo:LogicaMatematica

Tag	Content
Author	Axel Barceló Aspeitia
Title	¿Qué tan matemática es la lógica matemática?
Year	2003
Journal	Diánoia
Number	51
Pages	3--28
Volume	48

@article: KleinAgneBagdanov:DocumentAnalysis

Tag	Content
Author	B. Klein and S. Agne and A.D. Bagdanov
Title	Understanding document analysis and understanding (through modeling)
Year	2003
Journal	Document Analysis and Recognition
Pages	1218
Volume	2

@article: Gaines:HumanRationality

Tag	Content
Author	B.R. Gaines
Title	Human Rationality Challenges Universal Logic
Year	2010
Journal	Logica Universalis
Pages	1--43
Publisher	Springer

@incollection: Bessant:RelationshipsInductionAbduction

Tag	Content
Author	Brigitte Bessant
Title	On relationships between induction and abduction: a logical point of view
Year	2000
Booktitle	Abduction and Induction: Essays on their Relation and Integration
Editor	Peter Flach and Antonis Kakas
Isbn	0-7923-6250-0
Note	FALTAN PÁGINAS
Pages	1
Publisher	Kluwer Academic Publishers

@article: Delrieux:AbductiveInferenceDefeasible

Tag	Content
Author	C. Delrieux
Title	Abductive inference in defeasible reasoning: a model for research programmes
Year	2004
Journal	Journal of Applied Logic
Number	4
Pages	409--437
Publisher	Elsevier
Volume	2

@article: ElsenbroichKutzSattler:CaseAbductiveOntologies

Tag	Content
Author	C. Elsenbroich and O. Kutz and U. Sattler
Title	A case for abductive reasoning over ontologies
Year	2006
Journal	Proc. OWL: Experiences and Directions, Athens, Georgia, USA

@inproceedings: FischerGregor:FormsReasoningDesign

Tag	Content
Author	C. Fischer and S. Gregor
Title	Forms of Reasoning in the Design Science Research Process
Year	2011
Address	Milwaukee, WI, USA
Booktitle	Lecture Notes in Computer Science
Editor	Hermant Jain and Atish P. Sinha and Padmal Vitharana
Journal	Service-Oriented Perspectives in Design Science Research
Pages	17--31
Publisher	Springer
Series	Service-Oriented Perspectives in Design Science Research. 6th International Conference, DESRIST 2011
Volume	6629

@article: MarcondesRochaReis:BiomedicalArticles

Tag	Content
Author	Carlos Henrique Marcondes and Marília Rocha Mendoca and Luciana Reis Malheiros and Leonardo Cruz de Costa and Tatiana Cristina Paredes Santos
Title	Ontological and conceptual bases for a scientific knowledge model in biomedical articles
Year	2009
Journal	RECIIS. Electronic Journal of Communication Information & Innovation in Health
Number	1
Pages	19--30
Volume	3

@inproceedings: Delrieux:AmpliativePatterns

Tag	Content
Author	Claudio Delrieux
Title	Ampliative Patterns in Argumentative Reasoning
Year	2006
Bibsource	DBLP, http://dblp.uni-trier.de
Booktitle	ICAI
Pages	498--501

@article: SeseljaStrasser:AbstractArgumentation

Tag	Content
Author	D. Šešelja and C. Straßer
Title	Abstract argumentation and explanation applied to scientific debates
Year	2011
Journal	Synthese
Pages	1--23
Publisher	Springer

@inproceedings: Batens:ContentGuidance

Tag	Content
Author	D. Batens
Title	Content guidance in formal problem solving processes
Year	2007
Booktitle	Abduction and the Process of Scientific Discovery
Editor	Olga Pombo and Alexander Gerner
Journal	Abduction and the Process of Scientific Discovery
Location	Lisboa
Pages	121----156
Publisher	Centro de Filosofia das Ciências da U. de Lisboa

@article: BatensStrasser:TransparencyDefeasibleLogics

Tag	Content
Author	D. Batens and C. Straßer and P. Verdée
Title	On the transparency of defeasible logics: Equivalent premise sets, equivalence of their extensions, and maximality of the lower limit
Year	2009
Journal	Logique et Analyse
Pages	281--304
Publisher	Citeseer
Volume	207

@article: BatensMeheus:LogicPragmatics

Tag	Content
Author	D. Batens and J. Meheus
Title	On the logic and pragmatics of the process of explanation.
Year	2001
Journal	Explanatory connections: electronic essays dedicated to Matti Sintonen

@article: GabbayWoods:FiltrationStructuresAbduction

Tag	Content
Author	D. Gabbay and J. Woods
Title	Filtration structures and the cut down problem in abduction
Year	2005
Journal	Mistakes of Reason: Essays in Honour of John Woods
Publisher	University of Toronto Press

@incollection: Provijn:StrategiesWhatsName

Tag	Content
Author	D. Provijn
Title	Strategies. What's in a Name?
Year	2009
Booktitle	The Many Sides of Logic
Editor	Walter Carnielli and Marcello Coniglio and M Itala
Journal	The Many Sides of Logic. College Publications, London
Location	London
Pages	287--306
Publisher	College Publications

@article: WaltonMacagno:DefeasibleClassifications

Tag	Content
Author	D. Walton and F. Macagno
Title	Defeasible Classifications and Inferences from Definitions
Year	2010
Journal	Informal Logic
Number	1
Pages	34--61
Volume	30

@article: GabbayWoods:FormalApproachesReasoning

Tag	Content
Author	D.M. Gabbay and J. Woods
Title	Formal approaches to practical reasoning: A survey
Year	2002
Journal	Studies in Logic and Practical Reasoning
Pages	449--481
Publisher	Elsevier
Volume	1

@article: Costa:CreativityFormalized

Tag	Content
Author	D.M.N. Costa
Title	Can creativity be formalized? Peircean reflections on the role of abduction in human intelligence
Year	2008
Journal	Toward Artificial Sapience
Pages	3--14
Publisher	Springer

@article: Provijn:GenerationAbductiveInconsistent

Tag	Content
Author	Dagmar Provijn
Title	The generation of abductive explanations from inconsistent theories
Year	2012
Abstract	In this article I will show how the goal-directed proof procedure for the propositional fragment of the â€˜inconsistency-adaptiveâ€™ logic CLuNrfrom Batens (2005, J. Appl. Logic, 3, 221--250) called pCLuNr allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the â€˜inconsistency-adaptiveâ€™ logic CLuNr from Batens (2005, J. Appl. Logic, 3, 221--250).
Doi	10.1093/jigpal/jzq056
Eprint	http://jigpal.oxfordjournals.org/content/20/2/400.full.pdf+html
Journal	Logic Journal of IGPL
Number	2
Pages	400--416
Volume	20
URL	http://jigpal.oxfordjournals.org/content/20/2/400.abstract

@article: Campos:DistinctionPeirceLipton

Tag	Content
Author	Daniel Campos
Title	On the distinction between Peirce's abduction and Lipton's Inference to the best explanation
Year	2011
Affiliation	Brooklyn College, City University of New York, New York, USA
Issn	0039-7857
Issue	3
Journal	Synthese
Keyword	Humanities, Social Sciences and Law
Pages	419--442
Publisher	Springer Netherlands
Volume	180

@techreport: PearceValverde:EquilibriumLogic

Tag	Content
Author	David Pearce and Agustín Valverde
Title	Abduction in equilibrium logic
Year	2001
Institution	AAAI

@article: Batens:ProceduralCriterionFinalDerivabilityInconsistencyAL

Tag	Content
Author	Diderik Batens
Title	A procedural criterion for final derivability in inconsistency-adaptive logics
Year	2005
Bibsource	DBLP, http://dblp.uni-trier.de
Ee	http://dx.doi.org/10.1016/j.jal.2004.07.018
Journal	J. Applied Logic
Number	1
Pages	221--250
Volume	3

@article: GabbayWoods:AdviceAbductiveLogic

Tag	Content
Author	Dov Gabbay and John Woods
Title	Advice on Abductive Logic
Year	2006
Journal	Logic Journal of IGPL
Number	2
Pages	189--219
Publisher	Oxford Univ Press
Volume	14

@book: GabbayWoods:PracticalLogic

Tag	Content
Author	Dov M. Gabbay and John Woods
Title	A Practical Logic of Cognitive Systems
Year	2005
Publisher	Elsevier

@phdthesis: Hearnshaw:PostClassicalEconomics

Tag	Content
Author	Edward J. S. Hearnshaw
Title	A post-classical economics approach to ecosystem management
Year	2009
School	Lincoln University

@article: MulderVoorbraak:FormalDescription

Tag	Content
Author	F. Mulder and F. Voorbraak
Title	A formal description of tactical plan recognition
Year	2003
Journal	Information Fusion
Number	1
Pages	47--61
Publisher	Elsevier
Volume	4

@article: SolerNepomuceno:AbduccionModelosFinitos

Tag	Content
Author	F. Soler Toscano and Ángel Nepomuceno Fernández
Title	Abducción en modelos finitos
Year	2008
Journal	Crítica. Revista Hispanoamericana de Filosofía
Number	118
Pages	57--78
Volume	40

@article: Soler:AbductionTableauxResolution

Tag	Content
Author	F. Soler-Toscano and A. Nepomuceno-Fernández and A. Aliseda-Llera
Title	Abduction via C-tableaux and \delta-resolution
Year	2009
Journal	Journal of Applied Non-Classical Logics
Number	2
Pages	211--225
Volume	19

@article: Soler:TARFA

Tag	Content
Author	F. Soler-Toscano and A. Nepomuceno-Fernandez
Title	TARFA: Tableaux and Resolution for Finite Abduction
Year	2006
Journal	Lecture Notes in Computer Science
Pages	511
Publisher	SPRINGER-VERLAG
Volume	4160

@techreport: Velazquez:AbductionBelief

Tag	Content
Author	F.R. Velázquez-Quesada
Title	Relating abduction and belief revision
Year	2007
Institution	ILLC, University of Amsterdam

@article: Soler:VisualizingAbduction

Tag	Content
Author	Fernando Soler Toscano
Title	Visualizing Abduction
Year	2011
Journal	Kairos. Journal of Philosophy & Science
Pages	39--52
Publisher	Centro de Filosofia das Ciencias da Universidade de Lisboa
Volume	3

@article: SolerNepomuceno:DeduccionAbduccion

Tag	Content
Author	Fernando Soler and Ángel Nepomuceno
Title	Deducción y abducción
Year	2008
Journal	Teorema
Number	1
Volume	27

@article: SolerNepomucenoAliseda:RazonamientoAbductivo

Tag	Content
Author	Fernando Soler-Toscano and Ángel Nepomuceno-Fernández and Atocha Aliseda-Llera and Araceli Liliana Reyes-Cabello
Title	Razonamiento abductivo en models finitos mediante C-tablas y \delta-resolución
Year	2006
Journal	Una perspectiva de la IA en su 50 aniversario
Pages	699--711
Volume	2

@article: NepomucenoSolerSalguero:DeduccionGeneracion

Tag	Content
Author	Fernando Soler-Toscano and Ángel Nepomuceno-Fernández and F.J. Salguero Lamillar
Title	Deducción y generación de modelos de cardinalidad finita
Year	2006
Journal	Una Perspectiva de la Inteligencia Artificial en su 50 Aniversario
Pages	588--599

@article: SolerFernandezNepomuceno:ModalFrameworkAbductiveReasoning

Tag	Content
Author	Fernando Soler-Toscano and David Fernández-Duque and Ángel Nepomuceno-Fernández
Title	A modal framework for modelling abductive reasoning
Year	2012
Abstract	We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may â€˜backtrackâ€™, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner structure of theories as well as relations between them, allowing us to interpret many ideas from philosophy of science within the well-understood framework of modal logic.
Doi	10.1093/jigpal/jzq059
Eprint	http://jigpal.oxfordjournals.org/content/20/2/438.full.pdf+html
Journal	Logic Journal of IGPL
Number	2
Pages	438--444
Volume	20
URL	http://jigpal.oxfordjournals.org/content/20/2/438.abstract

@article: MihinaZiak:PeirceMaximsAbduction

Tag	Content
Author	Frantisek Mihina and Juraj Ziak
Title	Ch. S. Peirce -- \glqqCredo ut intelligam!\grqq or supposed maxims of abduction
Year	2010
Journal	Pragmatism Today
Number	2
Volume	1

@inproceedings: FerrinSnidaroForesti:RevisitingRoleAbductiveInf

Tag	Content
Author	G. Ferrin and L. Snidaro and G.L. Foresti
Title	Revisiting the role of abductive inference in fusion domain
Year	2010
Booktitle	13th Conference on Information Fusion (FUSION)
Organization	IEEE
Pages	1--7

@article: Schurz:PatternsAbduction

Tag	Content
Author	G. Schurz
Title	Patterns of Abduction
Year	2008
Journal	Synthese
Pages	201--234
Volume	164

@techreport: Vreeswijk:SearchingHeuristic

Tag	Content
Author	G. Vreeswijk
Title	Searching for a Computational Heuristic to Expand Formal Theories
Year	1999
Institution	University of Groningen, Department of Philosphy

@article: Kruijff:PeirceAbduction

Tag	Content
Author	G.J.M. Kruijff
Title	Peirce's late theory of abduction: A comprehensive account
Year	2005
Journal	Semiotica
Number	153-1/4
Pages	431--454
Publisher	Walter de Gruyter
Volume	2005

@inproceedings: Geert:ConcerningLogics

Tag	Content
Author	Geert-Jan Kruijff
Title	Concerning logics of abduction -On integrating abduction and induction
Year	1997
Booktitle	Proc. IJCAI'97 Workshop on Abduction and Induction in AI
Pages	31--36

@inproceedings: Geert:PeirceGodel

Tag	Content
Author	Geert-jan M. Kruijff
Title	Peirce's Abduction and Gödel's Axioms of Infinity: Philosophical Reflections on the Mathematics of Novelty
Year	1997
Booktitle	the 11th Int. Symp. LOGICA'97, Liblice Chateau, Czech Republic

@phdthesis: Arias:AbduccionTutela

Tag	Content
Author	Gerónimo Arias González
Title	La abducción en la acción de tutela
Year	2008
School	Universidad de Manizales

@inproceedings: Tuzet:FinzioniGiuridiche

Tag	Content
Author	Giovanni Tuzet
Title	Finzioni Giuridiche e Letterarie. È Possibile una Teoria Unificata?
Year	2010
Booktitle	Diritto e Letteratura. Prospettive di ricerca
Editor	Paola Mittica
Pages	50--75
Publisher	Italian Society for Law and Literature

@article: Gonzalez:AbduccionJuridico

Tag	Content
Author	Gustavo González Solano
Title	La abducción en el campo jurídico
Year	2005/2006
Issn	1575-7382
Journal	Revista Telemática de Filosofía del Derecho
Pages	223--258
Volume	9

@article: TakedaFujimotoYoshioka:Tagging

Tag	Content
Author	H. Takeda and Y. Fujimoto and M. Yoshioka and Y. Shimomura and K. Morimoto and W. Oniki
Title	Tagging for intelligent processing of design information
Year	2007
Journal	New Frontiers in Artificial Intelligence
Pages	216--225
Publisher	Springer

@inproceedings: Lycke:ALAbduction

Tag	Content
Author	Hans Lycke
Title	The adaptive logics approach to abduction
Year	2009
Booktitle	Logic, Philosophy and History of Science in Belgium
Editor	Erik Weber and Thierry Libert and Pierre Marage and Geert Vanpaemel
Location	Brussel
Pages	35--41
Publisher	Koninklijke Vlaamse Academie van België
Series	Proceedings of the Young Researchers Days 2008

@phdthesis: Lycke:RelevanceReasoning

Tag	Content
Author	Hans Lycke
Title	Relevance in Reasoning. The Adaptive Logics Approach
Year	2007
School	Universiteit Gent

@article: Lycke:FormalExplicationSearch

Tag	Content
Author	Hans Lycke
Title	A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning
Year	2012
Abstract	Most logic--based approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may e.g. be that abductive consequences have to be compatible with the background theory). Despite the fact that these approaches succeed in specifying which formulas count as valid consequences of abductive inference steps, they do not explicate the way people actually reason by means of abductive inferences. This is most clearly shown by the absence of a decent proof theory. Instead, search procedures are provided that enable one to determine the right abductive consequences. However, these do not by far resemble human reasoning. In order to explicate abductive reasoning more realistically, an alternative approach will be provided in this article, namely, one that is based on the adaptive logics programme. Proof theoretically, this approach interprets the argumentation schema affirming the consequent (AC: A âŠƒ B, B âŠ¢ A) as a defeasible rule of inference. This comes down to the fact that the abductive consequences obtained by means of AC are accepted only for as long as certain conditions are satis.edâ€”e.g. as long as their negation has not been derived from the background theory. In the end, only the unproblematic applications of AC are retained, while the problematic ones are rejected. In this way, the adaptive logics approach to abduction succeeds to provide a more realistic explication of the way people reason by means of abductive inferences. Moreover, as multiple abduction processes will be characterized, this article may be considered as the first step in the direction of a general formal approach to abduction based on the adaptive logics programme.
Doi	10.1093/jigpal/jzq053
Eprint	http://jigpal.oxfordjournals.org/content/20/2/497.full.pdf+html
Journal	Logic Journal of IGPL
Number	2
Pages	497--516
Volume	20
URL	http://jigpal.oxfordjournals.org/content/20/2/497.abstract

@article: Barrantes:MatematicasRazonamiento

Tag	Content
Author	Hugo Barrantes
Title	Matemáticas y Razonamiento Plausible
Year	2006
Journal	Cuadernos de Investigación y Formación en Educación Matemática
Number	1
Volume	1

@incollection: Niiniluoto:TruthSeeking

Tag	Content
Author	Ilkka Niiniluoto
Title	Truth-seeking by abduction
Year	2004
Booktitle	Induction and Deduction in the Sciences
Editor	Friederich Stadler
Journal	Induction and Deduction in the Sciences
Organization	Vienna Circle Institute Yearbook
Pages	57
Publisher	Kluwer Academic Publishers

@article: Niiniluoto:StructuralRules

Tag	Content
Author	Ilkka Niiniluoto
Title	Structural Rules for Abduction
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@article: Niiniluoto:DefendingAbduction

Tag	Content
Author	Ilkka Niiniluoto
Title	Defending Abduction
Year	1999
Journal	Philosophy of Science
Month	September
Note	Supplement. Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association. Part I: Contribuited Papers
Pages	436--451
Volume	66

@article: Niiniluoto:AbductionTomography

Tag	Content
Author	Ilkka Niiniluoto
Title	Abduction, tomography, and other inverse problems
Year	2011
Doi	DOI: 10.1016/j.shpsa.2010.11.028
Issn	0039-3681
Journal	Studies In History and Philosophy of Science Part A
Number	1
Pages	135--139
Volume	42
URL	http://www.sciencedirect.com/science/article/pii/S003936811000107X

@incollection: Niiniluoto:AbductionTruth

Tag	Content
Author	Ilkka Niiniluoto
Title	Abduction and truthlikeness
Year	2005
Booktitle	Confirmation, Empirical Progress and Truth Approximation: Essays in Debate with Theo Kuipers
Editor	R. Festa and Atocha Aliseda and J. Peijnenburg
Isbn	90-420-1638-8
Pages	255--275
Publisher	Rodopi
Series	Poznan Studies in the Philosophy of the Sciences and the Humanities
Volume	83(1)

@incollection: Niiniluoto:AbductionGeometrical

Tag	Content
Author	Ilkka Niiniluoto
Title	Abduction and Geometrical Analysis. Notes on Charles S. Peirce and Edgar Allan Poe
Year	1999
Address	New York, Boston, Dordrecht, London, Moscow
Booktitle	Model-Based Reasoning in Scientific Discovery
Editor	Lorenzo Magnani and Nancy J. Nersessian and Paul Thagard
Pages	239--254
Publisher	Kluwer Academic/Plenum Publishers

@mastersthesis: SehicGilani:ITOutsourcing

Tag	Content
Author	Indira Sehic and Hamza Gilani
Title	IT outsourcing: A Strategic Partnership between buyer and vendor
Year	2010
School	Jönköping University

@mastersthesis: Ringdal:BayesianFrameworkDecisionSubseaWater

Tag	Content
Author	Ingvar Ringdal
Title	Application of a Bayesian framework to decision making regarding Maintenance and Intervention of Subsea Water Injection Pumps
Year	2007
School	Universitetet i Stavanger

@inproceedings: EspinosaKayaMoller:LogicalFormalization

Tag	Content
Author	Irma Sofia Espinosa Peraldi and Atila Kaya and Ralf Möller
Title	Logical Formalization of Multimedia Interpretation.
Address	Berlin Heidelberg
Booktitle	Multimedia Information Extraction
Editor	Georgios Paliouras and Constantine D. Spyropoulos and George Tsatsaronis
Isbn	978-3-642-20794-5
Pages	110--133
Publisher	Springer--Verlag
Series	LNAI
URL	http://dblp.uni-trier.de/db/conf/boemie/boemie2011.html#PeraldiKM11

@incollection: BurgerHeidema:BetterWorse

Tag	Content
Author	Isabella C. Burger and Johannes Heidema
Title	For better, for worse: comparative orderings on states and theories
Year	2005
Booktitle	Confirmation, Empirical Progress and Truth Approximation: Essays in Debate with Theo Kuipers
Editor	R. Festa and Atocha Aliseda and J. Peijnenburg
Isbn	90-420-1638-8
Pages	459--488
Publisher	Rodopi
Series	Poznan Studies in the Philosophy of the Sciences and the Humanities
Volume	83

@incollection: BurgerHeidema:DegreesAbductiveBoldness

Tag	Content
Author	Isabella C. Burger and Johannes Heidema
Title	Degrees of Abductive Boldness
Year	2002
Address	Dordrecht/Boston/London
Booktitle	Logical and Computational Aspects of Model-Based Reasoning
Editor	Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi
Pages	163--180
Publisher	Kluwer Academic Publishers
Series	Applied Logic Series
Volume	25

@inproceedings: Kamps:ProcessAxiomScientific

Tag	Content
Author	J. Kamps
Title	On the process of axiomatizing scientific theories: Using justification criteria in the context of discovery
Year	1999
Booktitle	Proceedings of the AISB
Organization	SSAISB
Pages	49--58
Volume	99

@article: MeheusProvijn:AbductionSemanticTableaux

Tag	Content
Author	J. Meheus and D. Provijn
Title	Abduction through semantic tableaux versus abduction through goal-directed proofs
Year	2007
Journal	Theoria
Number	3
Pages	295--304
Publisher	Citeseer
Volume	22

@book: Reichertz:AbduktionSozialforshung

Tag	Content
Author	J. Reichertz
Title	Die Abduktion in der qualitativen Sozialforschung
Year	2003
Publisher	VS Verlag
Volume	13

@article: Woods:IgnoranceAbduction

Tag	Content
Author	J. Woods
Title	Ignorance and Semantic Tableaux: Aliseda on Abduction
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@article: Benthem:AbductionInterfaceLogicPhilosophy

Tag	Content
Author	J. van Benthem
Title	Abduction at the interface of Logic and Philosophy of Science
Year	2007
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Pages	271--273
Volume	22

@article: Poon:QuantitativeMethods

Tag	Content
Author	J.P.H. Poon
Title	Quantitative methods: not positively positivist
Year	2005
Journal	Progress in Human Geography
Number	6
Pages	766
Publisher	Sage Publications
Volume	29

@inproceedings: Kamps:ModelBasedAbduction

Tag	Content
Author	Jaap Kamps
Title	On ``model-based'' abduction
Year	2000
Booktitle	ECAI 2000
Editor	Atocha Aliseda and David Pearce
Pages	40--45
Series	Workshop on Scientific Reasoning in Artificial Intelligence and Philosophy of Science

@article: Nubiola:Sorpresa

Tag	Content
Author	Jaime Nubiola
Title	La abducción o la lógica de la sorpresa
Year	2001
Journal	Razón y Palabra. Comunicación y Semiótica: un Acercamiento a la Obra de Charles S. Peirce
Number	21
Volume	6

@inproceedings: Bloom:SystemsThinking

Tag	Content
Author	Jeffrey W. Bloom
Title	Systems Thinking, Pattern Thinking, and Abductive Thinking as the Key Elements of Complex Learning
Year	2010
Address	Denver
Booktitle	American Educational Research Association

@techreport: MataPonte:RaciocinioMatematico

Tag	Content
Author	Joana Mata Pereira and Joao Pedro da Ponte
Title	Raciocínio Matemático em Contexto Algébrico uma Análise com Alunos de 9o ano
Year	2008
Institution	Universidade de Lisboa

@article: Benthem:LogicEmpiricalTheories

Tag	Content
Author	Johan van Benthem
Title	The logic of empirical theories revisited
Year	2011
Affiliation	University of Amsterdam, P.O. Box 94242, 1090 GE Amsterdam, The Netherlands
Issn	0039-7857
Journal	Synthese
Keyword	Humanities, Social Sciences and Law
Pages	1--18
Publisher	Springer Netherlands

@article: Woods:SpeakingMind

Tag	Content
Author	John Woods
Title	Speaking Your Mind: Large Inarticulateness Constitutional and Circumstantial
Year	2002
Issn	0920-427X
Issue	1
Journal	Argumentation
Keyword	Humanities, Social Sciences and Law
Pages	59--79
Publisher	Springer Netherlands
Volume	16

@article: Woods:CognitiveEconomicsAbduction

Tag	Content
Author	John Woods
Title	Cognitive Economics and the Logic of Abduction
Year	2012
Doi	10.1017/S175502031100027
Journal	The Review of Symbolic Logic
Number	1
Pages	148--161
Volume	5

@article: Meheus:EmpiricalProgressAmpliativeAdaptive

Tag	Content
Author	Joke Meheus
Title	Empirical progress and ampliative adaptive logics
Year	2005
Address	Amsterdam/Atlanta, Ney York, NY
Journal	Confirmation, Empirical Progress and Truth Approximation (Poznań Sudies in the Philosophy of Sciences and the Humanities)
Pages	193--217
Publisher	Rodopi
Volume	83

@incollection: Meheus:AdaptiveLogicsIntegration

Tag	Content
Author	Joke Meheus
Title	Adaptive logics and the Integration of Induction and Deduction
Year	2004
Booktitle	Induction and Deduction in the Sciences
Editor	Friederich Stadler
Location	Dordrecht
Pages	93--120
Publisher	Kluwer

@article: MeheusBatens:FormalLogicAbductive

Tag	Content
Author	Joke Meheus and Diderik Batens
Title	A Formal Logic for Abductive Reasoning
Year	2006
Issn	1367-0751
Journal	Logic Journal of the IGPL
Month	March
Number	2
Pages	221--236
Posted-at	2006-05-25 11:59:17
Publisher	Oxford University Press
Volume	14

@incollection: MeheusVerhoevenDyck:AmpliativeAL

Tag	Content
Author	Joke Meheus and Liza Verhoeven and Maarten Van Dyck and Maarten Van and Dagmar Provijn
Title	Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction
Year	2002
Address	Dordrecht/Boston/London
Booktitle	Logical and Computational Aspects of Model-Based Reasoning
Editor	Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi
Pages	39--71
Publisher	Kluwer Academic Publishers
Series	Applied Logic Series
Volume	25

@article: Hernandez:ConstructiveReinforcement

Tag	Content
Author	José Hernández-Orallo
Title	Constructive Reinforcement Learning
Year	2000
Journal	International Journal of Intelligent Systems
Number	3
Pages	241--264
Publisher	John Wiley & Sons, Inc.
Volume	15

@inproceedings: HernandezGarcia:DistinguishingAbduction

Tag	Content
Author	José Hernández-Orallo and I. García-Varea
Title	Distinguishing abduction and induction under intensional complexity
Year	1998
Booktitle	Proceedings of the ECAI
Pages	41--48
Volume	98

@phdthesis: Lambertz:ErklarungKorrektur

Tag	Content
Author	Julian Lambertz
Title	Erklärung und Korrektur von Nicht-Subsumtion in Ontologien
Year	2007
School	Institut für Künstliche Intelligenz, Universität Ulm

@techreport: BritzHeidemaLabuschagne:EntailmentDuality

Tag	Content
Author	K. Britz and J. Heidema and W. Labuschagne and University of Otago. Dept. of Computer Science
Title	Entailment, duality, and the forms of reasoning
Year	2007
Address	New Zeland
Institution	Department of Computer Science, University of Otago
Publisher	Citeseer
URL	http://www.cs.otago.ac.nz/research/techreports.html

@incollection: BrodaGabbay:LabelledAbduction

Tag	Content
Author	K. Broda and D.M. Gabbay
Title	Labelled Abduction
Year	2000
Booktitle	Labelled Deduction
Editor	David Basin and Marcello D'Agostino and Dov M. Gabbay and Seán Matthews and Luca Viganò
Location	Dordrecht
Month	May
Organization	Applied Logic Series Vol.17
Pages	107
Publisher	Kluwer Academic Publishers

@article: Fitzhugh:SpeciesExplanatoryHypotheses

Tag	Content
Author	K. Fitzhugh
Title	Species as explanatory hypotheses: refinements and implications
Year	2009
Journal	Acta biotheoretica
Number	1
Pages	201--248
Publisher	Springer
Volume	57

@article: Fitzhugh:FactTheoryTestEvolution

Tag	Content
Author	K. Fitzhugh
Title	Fact, theory, test and evolution
Year	2008
Journal	Zoologica Scripta
Number	1
Pages	109--113
Publisher	Wiley Online Library
Volume	37

@article: Fitzhugh:ClarifyingRoleCharacterLoss

Tag	Content
Author	K. Fitzhugh
Title	Clarifying the role of character loss in phylogenetic inference
Year	2008
Journal	Zoologica Scripta
Number	5
Pages	561--569
Publisher	Wiley Online Library
Volume	37

@article: Fitzhugh:AbductiveInference

Tag	Content
Author	K. Fitzhugh
Title	Abductive inference: implications for `Linnean' and `phylogenetic' approaches for representing biological systematization
Year	2008
Journal	Evolutionary Biology
Number	1
Pages	52--82
Publisher	Springer
Volume	35

@inproceedings: BarberLam:AbductiveReasoningAgent

Tag	Content
Author	K. S. Barber and D. N. Lam
Title	Enabling abductive reasoning for agent software comprehension
Year	2003
Booktitle	Proceedings of the 18th International Joint Conference on Artificial Intelligence: Workshop on Agents and Automated Reasoning

@mastersthesis: Moges:HIVPrevention

Tag	Content
Author	Kassaye Tekola Moges
Title	Insiders' Views and Reflections on HIV/AIDS Prevention Targeting Immigrants with Multicultural Background in Sweden, Gothenburg
Year	2008
School	University of Gothenburg

@article: Fitzhugh:EvidenceEvolution

Tag	Content
Author	Kirk Fitzhugh
Title	Evidence for Evolution Versus Evidence for Intelligent Design: Parallel Confusions
Year	2010
Affiliation	Research and Collections Branch, Natural History Museum of Los Angeles County, 900 Exposition Boulevard, Los Angeles, CA 90007, USA
Issn	0071-3260
Issue	2
Journal	Evolutionary Biology
Keyword	Biomedical and Life Sciences
Pages	68--92
Publisher	Springer New York
Volume	37

@article: Magnani:SemioticBrains

Tag	Content
Author	L. Magnani
Title	Semiotic Brains and Artificial Minds: How Brains Make Up
Year	2007
Editor	Ricardo Gudwin and João Queiroz
Journal	Semiotics and Intelligent Systems Development
Pages	1--41
Publisher	Citeseer

@article: Magnani:MultimodalAbduction

Tag	Content
Author	L. Magnani
Title	Multimodal Abduction: External Semiotic Anchors and Hybrid Representations
Year	2006
Journal	Logic Journal of IGPL
Number	2
Pages	107
Publisher	Oxford Univ Press
Volume	14

@article: Magnani:LogicAbduction

Tag	Content
Author	L. Magnani
Title	Logic and Abduction: Cognitive Externalizations in Demonstrative Environments
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@article: ObrstCassidy:NeedOntologies

Tag	Content
Author	Leo Obrst and Patrick Cassidy
Title	The need for ontologies: Bridging the barriers of terminology and data structure
Year	2011
Doi	10.1130/2011.2482(10)
Eprint	http://specialpapers.gsapubs.org/content/482/99.full.pdf+html
Journal	Geological Society of America Special Papers
Pages	99--123
Volume	482
URL	http://specialpapers.gsapubs.org/content/482/99.abstract

@article: RinconesRodriguezVazquez:IndagacionPeirce

Tag	Content
Author	Liria Rincones de Castagnetti and Carlos Rodríguez Gutiérrez and Henry Vázquez
Title	La indagación científica desde la óptica de Peirce
Year	2004
Issn	1315-8856
Journal	Omnia
Number	2
Volume	10

@book: Magnani:PhilosophyGeometry

Tag	Content
Author	Lorenzo Magnani
Title	Philosophy and Geometry. Theoretical and Historical Issues
Year	2001
Publisher	Kluwer Academic Publishers
Series	Western Ontario Series in Philosophy of Science
Volume	66

@article: Magnani:ExternalDiagrammatization

Tag	Content
Author	Lorenzo Magnani
Title	External diagrammatization and iconic brain co-evolution.
Year	2011
Issn	00371998
Journal	Semiotica
Keywords	ICONICITY (Linguistics), SEMIOTICS, DISTRIBUTED cognition, ABDUCTION (Logic), REASONING (Logic), CHARTS, diagrams, etc., abduction, distributed cognition, iconic/ diagrammatic reasoning, internal/ external representations, model-based abduction, semiosis
Number	1-4
Pages	213--238
Volume	186
URL	http://search.ebscohost.com.pbidi.unam.mx:8080/login.aspx?direct=true&db=ufh&AN=63883037&site=ehost-live

@book: Magnani:AbductiveCognition

Tag	Content
Author	Lorenzo Magnani
Title	Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
Year	2009
Isbn	978-3-642-03630-9
Publisher	Springer Verlag
Series	Cognitive Systems Monographs
Volume	3

@incollection: Magnani:AbductionCognition

Tag	Content
Author	Lorenzo Magnani
Title	Abduction and cognition in human and logical agents
Year	2005
Booktitle	We Will Show Them! Essays in Honour of Dov Gabbay
Editor	Sergei Artemov and Howard Barringer and Artur d'Avila Garcez and Luis C. Lamb and John Woods
Pages	225--258
Publisher	London College Publications
Volume	II

@article: BoisotMcKelvey:ModernistPostmodernist

Tag	Content
Author	M. Boisot and B. Mc Kelvey
Title	Integrating Modernist and Postmodernist Perspectives on Organizations: A Complexity Science Bridge
Year	2010
Journal	The Academy of Management Review (AMR)
Number	3
Pages	415--433
Publisher	Academy of Management
Volume	35

@inproceedings: JansenSchreiberWielinga:StrictImplication

Tag	Content
Author	M. G. Jansen and A. Th. Schreiber and B. J. Wielinga
Title	Using Strict Implication in Background Theories for Abductive Tasks
Year	2001
Booktitle	Proceedings IJCAI-01
Series	Workshop on Abductive Reasoning

@article: Hoffman:ProblemsPeirce

Tag	Content
Author	M. Hoffmann
Title	Problems with Peirce's concept of abduction
Year	1999
Journal	Foundations of Science
Number	3
Pages	271--305
Publisher	Springer
Volume	4

@incollection: JansenSchreiberWielinga:TableauxClassification

Tag	Content
Author	M. Jansen and A. Th. Schreiber and B. Wielinga
Title	Adapting Tableaux for Classification
Year	2000
Affiliation	University of Amsterdam Social Science Informatics Roetersstraat 15 NL-1018 WB Amsterdam The Netherlands
Booktitle	Knowledge Engineering and Knowledge Management Methods, Models, and Tools
Editor	Rose Dieng and Olivier Corby
Pages	153--168
Publisher	Springer Berlin / Heidelberg
Series	Lecture Notes in Computer Science
Volume	1937

@article: Shah:JustifiableAbandonLogic

Tag	Content
Author	M. Shah
Title	Is It Justifiable to Abandon All Search for a Logic of Discovery?
Year	2007
Journal	International Studies in the Philosophy of Science
Number	3
Pages	253--269
Publisher	Routledge
Volume	21

@article: SindlarDastaniDignum:MentalStateAbd

Tag	Content
Author	M. Sindlar and M. Dastani and F. Dignum and J.J. Meyer
Title	Mental state abduction of BDI-based agents
Year	2009
Journal	Declarative Agent Languages and Technologies VI
Pages	161--178
Publisher	Springer

@incollection: Tomalin:MigratingPropositions

Tag	Content
Author	M. Tomalin
Title	Migrating propositions and the evolution of Generative Grammar
Year	2010
Booktitle	Chomskyan (R)evolutions
Editor	Douglas Kibee
Pages	315--336
Publisher	John Benjamins Publishing Company

@mastersthesis: Urbanski:RozumowaniaAbdukcyjne

Tag	Content
Author	M. Urbańsky
Title	Rozumowania abdukcyjne. Modele i procedury
Year	2009
School	Wydawnictwo Naukowe UAM

@article: Raaholm:AbductiveNursing

Tag	Content
Author	M.B. Råholm
Title	Abductive reasoning and the formation of scientific knowledge within nursing research
Year	2010
Journal	Nursing Philosophy
Number	4
Pages	260--270
Publisher	Blackwell Publishing Ltd
Volume	11

@inproceedings: JansenSchreiberWielinga:TableauxClassificationShort

Tag	Content
Author	M.G. Jansen and G. Schreiber and B.J. Wielinga
Title	Adapting Tableaux for Classification (Short Paper)
Year	2000
Booktitle	Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Organization	Springer-Verlag
Pages	344--351

@inproceedings: Hoffmann:DiagramsScaffoldsAbductive

Tag	Content
Author	M.H.G. Hoffmann
Title	Diagrams as Scaffolds for Abductive Insights
Year	2010
Booktitle	Workshops at the Twenty-Fourth AAAI Conference on Artificial Intelligence

@inproceedings: Manzano:RazonamientoFormal

Tag	Content
Author	María Manzano
Title	Razonamiento Formal
Year	2006
Booktitle	50 Años de la Inteligencia Artificial
Editor	Antonio Fernández and Sergio Tomé
Publisher	Universidad de Castilla--La Mancha
Series	XVI Escela de Verano de Informática

@article: DAgostinoFingerGabbay:CutBasedAbduction

Tag	Content
Author	Marcello D'Agostino and Marcelo Finger and Dov Gabbay
Title	Cut-Based Abduction
Year	2008
Doi	10.1093/jigpal/jzn020
Issn	1367-0751
Journal	Logic Journal of the IGPL
Number	6
Pages	431--451
Publisher	Oxford University Press
Volume	16

@article: Finger:AbductionEfficientProofs

Tag	Content
Author	Marcelo Finger
Title	Using Abduction to Compute Efficient Proofs
Year	2009
Issn	1571-0661
Journal	Electronic Notes in Theoretical Computer Science
Note	Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008)
Pages	39--49
Volume	247

@article: Finger:AutomatedFOAbduction

Tag	Content
Author	Marcelo Finger
Title	Towards automated first-order abduction: the cut-based approach
Year	2012
Journal	Logic Journal of IGPL
Number	2
Publisher	Oxford Univ Press
Volume	20

@incollection: AlbertiChesaniGavanelli:AbductionContext

Tag	Content
Author	Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello
Title	Abduction in the Context of a Reasoning Process: the SCIFF Framework
Year	2008
Address	Stanford, California
Booktitle	Reasoning, rationality and probability
Editor	Maria Carla Galavotti and Roberto Scazzieri and Patrick Suppes
Pages	271--287
Publisher	Center for the Study of Language and Information. Stanford University

@mastersthesis: AlvaradoArdilaCallejas:CienciasNaturales

Tag	Content
Author	Martha Lucía Alvarado Ramírez and Omar Darío Ardila Huérfano and Francis Janeth Callejas Moreno and Germán Vargas Benavides
Title	Los eventos discrepantes en ciencias naturales, un camino para propiciar pensamiento abductivo en la escuela
Year	2010
Address	Bogotá
School	Pontifica Universidad Javeriana

@mastersthesis: Gattermeier:DefamationReligions

Tag	Content
Author	Matthias Gattermeier
Title	Defamation of Religions
Year	2010
School	Universität Wien

@unpublished: Hoffmann:ExploringArgumentation

Tag	Content
Author	Michael Hoffmann
Title	Exploring epistemological approaches to argumentation: From evaluation standards to the practice of argumentation
Year	2005
Note	Working Paper Series, Georgia Institute of Technology
URL	http://www.spp.gatech.edu/faculty/workingpapers/wp8.pdf

@book: Patton:DevelopmentalEvaluation

Tag	Content
Author	Michael Quinn Patton
Title	Developmental evaluation: Applying complexity concepts to enhance innovation and use
Year	2011
Publisher	The Guilford Press

@phdthesis: Sindlar:InTheEyeBeholder

Tag	Content
Author	Michal Sindlar
Title	In the Eye of the Beholder: Explaining Behavior through Mental State Attribution
Year	2011
School	Dutch Research School of Information and Knowledge Systems (SIKS), University of Utrecht

@inproceedings: SindlarDastaniMeyer:ProgrammingMental

Tag	Content
Author	Michal Sindlar and Mehdi Dastani and John-Jules Ch. Meyer
Title	Programming Mental State Abduction
Year	2011
Booktitle	Tenth International Conference on Autonomous Agents and Multiagent Systems AAMAS 2011
Location	Taipei, Taiwan
Publisher	IFAAMAS

@article: Wlosko:SujetosTransito

Tag	Content
Author	Miriam Wlosko
Title	Sujetos en tránsito. De la subjetividad práctico-profesional a la conformación de un sujeto epistémico
Year	2002
Issn	1666-5945
Journal	Revista Litorales
Number	1
Volume	1

@unpublished: LopezMartinezGuzman:ReglasHeuristicas

Tag	Content
Author	Mirna López and Antonio Martínez Alcántara and Adolfo Guzmán
Title	Reglas Heurísticas: Alternativa para la Depuración de Reglas de Asociación Interesantes
Year	2002
Note	Manuscrito sin publicar

@inproceedings: Broustau:InductionJournalism

Tag	Content
Author	N. Broustau
Title	Enlightening Induction in Journalism Studies. A Perspective for Researchers and Research
Year	2006
Booktitle	Annual conference, Canadian Association of Communication
Editor	F. Le Cam
Note	RECURSO ELECTRÓNICO
Publisher	Université York, Toronto
URL	http://recherche.telecom-bretagne.eu/labo_communicant/surlejournalisme/?page_id=406

@article: GraulichHopfSchreiner:HeuristicChemist

Tag	Content
Author	N. Graulich and H. Hopf and P.R. Schreiner
Title	Heuristic thinking makes a chemist smart
Year	2009
Journal	Chem. Soc. Rev.
Number	5
Pages	1503--1512
Publisher	The Royal Society of Chemistry
Volume	39

@article: RayBrodaRusso:GeneralisedKernel

Tag	Content
Author	O. Ray and K. Broda and A. Russo
Title	Generalised kernel sets for inverse entailment
Year	2004
Journal	Logic Programming
Pages	267--301
Publisher	Springer

@article: BesnardCordier:CausalExplanations

Tag	Content
Author	P. Besnard and M.O. Cordier
Title	Inferring causal explanations
Year	1999
Journal	Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Pages	55--67
Publisher	Springer

@article: MancarellaTerreniSadri:CIFF

Tag	Content
Author	P. Mancarella and G. Terreni and F. Sadri and F. Toni and U. Endriss
Title	The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
Year	2009
Journal	Theory and Practice of Logic Programming
Number	06
Pages	691--750
Publisher	Cambridge Univ Press
Volume	9

@inproceedings: PauwelsMeyerCampenhout:DesignProcessKnowledgeWorld

Tag	Content
Author	P. Pauwels and R. De Meyer and J. Van Campenhout
Title	Extending the design process into the knowledge of the world
Year	2011
Booktitle	Proceedings of the 14th International Conference on Computer Aided Architectural Design
Pages	203

@inproceedings: Wang:NonAxiomatic

Tag	Content
Author	P. Wang
Title	Abduction in non-axiomatic logic
Year	2001
Booktitle	Working Notes of the IJCAI workshop on Abductive Reasoning
Organization	Citeseer
Pages	56--63

@article: FlachKakas:AbductiveInductiveReasoningReport

Tag	Content
Author	P.A. Flach and A. Kakas
Title	Abductive and inductive reasoning: report of the ECAI'96 workshop
Year	1997
Journal	Logic Journal of IGPL
Number	5
Pages	773
Publisher	Oxford Univ Press
Volume	5

@incollection: FlachKakas:AbductiveInductive

Tag	Content
Author	P.A. Flach and A.C. Kakas
Title	Abductive and inductive reasoning: Background and issues
Year	2000
Booktitle	FALTA
Editor	P.A. Flach and A. Kakas
Pages	1--27
Publisher	Kluwer Academic Publishers
Series	Abduction and Induction: Essays on their Relation and Integration

@mastersthesis: Santos:FormalisingMobileRobot

Tag	Content
Author	P.E. Santos
Title	Formalising the common sense of a mobile robot
Year	1998
School	ILLC, Amsterdam

@article: Aguayo:AbduccionPeirce

Tag	Content
Author	Pablo Aguayo
Title	La Teoría de la Abducción de Peirce: Lógica, Metodología e Instinto
Year	2011
Issn	0120-0062
Journal	Ideas y Valores: Revista Colombiana de Filosofía
Number	145
Pages	33--53
Volume	60

@incollection: Martinez:ObservacionesAbduccion

Tag	Content
Author	Pascual Martínez
Title	Observaciones sobre el concepto de abducción
Year	2010
Booktitle	Liber amicorum Ángel Nepomuceno
Editor	Hans van Ditmarsch and others
Location	Sevilla
Pages	77--84
Publisher	Fénix Editora

@unpublished: Pohjola:Analogies

Tag	Content
Author	Pasi Pohjola
Title	Analogies and Collaborative Learning: The perspectives of models and model-based reasoning
Year	2011
Note	Research proposal in progress, started in 2008

@article: Hamad:EstudiantesQuimica

Tag	Content
Author	Patricia Hamad
Title	La abducción como punto de partida en el desarrollo del pensamiento científico en estudiantes de Química en la fase experimental
Year	2009
Journal	Horizonte Pedagógico
Number	1
Pages	49--54
Volume	11

@phdthesis: Selg:OutlinePoliticalSemiotics

Tag	Content
Author	Peeter Selg
Title	An Outline for a Theory of Politica Semiotics
Year	2011
Month	June
School	Tallinn Unversity

@phdthesis: Verdee:LogischeBewijsdynamieken

Tag	Content
Author	Peter Verdée
Title	Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen
Year	2008
School	Faculteit Letteren en Wijsbegeerte, Universiteit Gent

@article: CrespoThomeHeymann:AbducingCrisis

Tag	Content
Author	R. Crespo and F. Tohmé and D. Heymann
Title	Abducing the Crisis
Year	2010
Journal	Model-Based Reasoning in Science and Technology
Pages	179--198
Publisher	Springer

@article: McMasterWatkins:Economics

Tag	Content
Author	R. McMaster and C. Watkins
Title	Economics and underdetermination: a case study of urban land and housing economics
Year	2006
Journal	Cambridge Journal of Economics
Number	6
Pages	901
Publisher	CPES
Volume	30

@book: PinoUzcategui:OrderingExplanations

Tag	Content
Author	R. Pino-Pérez and C. Uzcátegui
Title	Ordering explanations and the structural rules for abduction
Year	2000
Publisher	Universidad de los Andes

@article: PinoUzcategui:JumpingExplanationsConclusions

Tag	Content
Author	R. Pino-Pérez and C. Uzcátegui
Title	Jumping to explanations versus jumping to conclusions
Year	1999
Journal	Artificial Intelligence
Number	1-2
Pages	131--169
Volume	111

@article: Luk:UnderstandingScientific

Tag	Content
Author	R.W.P. Luk
Title	Understanding Scientific Study via Process Modeling
Year	2010
Journal	Foundations of science
Number	1
Pages	49--78
Publisher	Springer
Volume	15

@book: PinoUzcategui:DinamicaConocimiento

Tag	Content
Author	Ramón Pino Pérez and Carlos Uzcátegui Aylwin
Title	Dinámica del conocimiento
Year	2010
Publisher	Ediciones IVIC
Series	XXIII Escuela Venezolana de Matemáticas

@phdthesis: Pino:ModelesCalcul

Tag	Content
Author	Ramón Pino-Pérez
Title	Modèles et calcul du raisonnement dynamique
Year	1999
School	Université des Sciences et Technologies de Lille

@article: PinoUzcategui:PreferencesExplanations

Tag	Content
Author	Ramón Pino-Pérez and Carlos Uzcátegui
Title	Preferences and explanations
Year	2003
Doi	DOI: 10.1016/S0004-3702(03)00042-0
Issn	0004-3702
Journal	Artificial Intelligence
Number	1
Pages	1--30
Volume	149
URL	http://www.sciencedirect.com/science/article/pii/S0004370203000420

@incollection: Muskens:AnalyticTableau

Tag	Content
Author	Reinhard Muskens
Title	An Analytic Tableau System for Natural Logic
Year	2010
Affiliation	Tilburg Center for Logic and Philosophy of Science
Booktitle	Logic, Language and Meaning
Editor	Maria Aloni and Harald Bastiaanse and Tikitu de Jager and Katrin Schulz
Pages	104--113
Publisher	Springer Berlin / Heidelberg
Series	Lecture Notes in Computer Science
Volume	6042

@article: GabrielSullivan:BetterScienceArt

Tag	Content
Author	Richard P. Gabriel and Kevin J. Sullivan
Title	Better science through art
Year	2010
Acmid	1869533
Address	New York, NY, USA
Doi	http://doi.acm.org/10.1145/1932682.1869533
Issn	0362-1340
Issue	10
Issue_date	October 2010
Journal	SIGPLAN Not.
Keywords	art, design, science, software engineering
Numpages	16
Pages	885--900
Publisher	ACM
Volume	45
URL	http://doi.acm.org/10.1145/1932682.1869533

@incollection: NolaWeinert:DarwinianInferences

Tag	Content
Author	Robert Nola and Friedel Weinert
Title	Darwinian Inferences
Year	2012
Affiliation	Department of Philosophy, University of Auckland, Auckland, New Zealand
Booktitle	Evolution 2.0
Editor	Martin Brinkworth and Friedel Weinert and A. C. Elitzur and L. Mersini-Houghton and M. Schlosshauer and M. P. Silverman and R. Vaas and H. D. Zeh and J. Tuszynski
Isbn	978-3-642-20496-8
Keyword	Philosophy
Note	10.1007/978-3-642-20496-8_9
Pages	111--128
Publisher	Springer Berlin Heidelberg
Series	The Frontiers Collection
URL	http://dx.doi.org/10.1007/978-3-642-20496-8_9

@article: Rodriguez:Contexto

Tag	Content
Author	Rodofgo J. Rodríguez Rodríguez
Title	Abducción en el contexto del descubrimiento científico
Year	2005
Journal	Revista de Filosofía de la Universidad de Costa Rica
Month	may
Number	109/110
Pages	87--97
Publisher	Escuela de Filosofía, Universidad de Costa Rica
Volume	XLIII

@incollection: SchvaneveltCohen:AbductiveSimilarity

Tag	Content
Author	Roger W. Schvaneveldt and Trevor A. Cohen
Title	Abductive Reasoning and Similarity: Some Computational Tools
Year	2010
Address	New York
Booktitle	Computer based diagnostics and systematic analysis of knowledge
Editor	D. Ifenthaler and P. Pirnay-Dummer and N. M. Seel
Journal	Computer-Based Diagnostics and Systematic Analysis of Knowledge
Pages	189--211
Publisher	Springer

@article: Okasha:FraassenCritique

Tag	Content
Author	S. Okasha
Title	Van Fraassen's critique of inference to the best explanation
Year	2000
Journal	Studies in History and Philosophy of Science-Part A
Number	4
Pages	691--710
Publisher	[Oxford; New York: Pergamon Press], 1970-
Volume	31

@article: Paavola:AbductionGrammar

Tag	Content
Author	S. Paavola
Title	Abduction through grammar, critic, and methodeutic
Year	2004
Journal	Transactions of the Charles S. Peirce Society: A Quarterly Journal in American Philosophy
Number	2
Pages	245--270
Publisher	Indiana University Press
Volume	40

@article: Paavola:AbductionLogic

Tag	Content
Author	S. Paavola
Title	Abduction as a logic and methodology of discovery: The importance of strategies
Year	2004
Journal	Foundations of Science
Number	3
Pages	267--283
Publisher	Springer
Volume	9

@article: PaavolaHakkarainenSintonen:AbductionDialogical

Tag	Content
Author	S. Paavola and K. Hakkarainen and M. Sintonen
Title	Abduction with dialogical and trialogical means
Year	2006
Journal	Logic Journal of IGPL
Number	2
Pages	137
Publisher	Oxford Univ Press
Volume	14

@article: Pinto:AspectosRazonamientoAbd

Tag	Content
Author	S. Pinto
Title	Dos aspectos del razonamiento abductivo
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@article: Psillos:ExplorerUntroddenGround

Tag	Content
Author	S. Psillos
Title	An explorer upon untrodden ground: Peirce on abduction
Year	2009
Journal	Handbook of the History of Logic: Inductive Logic
Pages	117--151
Volume	10

@inproceedings: EspinosaKayaMoller:FormalizingMultimediaInterpretation

Tag	Content
Author	S.E. Peraldi and A. Kaya and R. Möller
Title	Formalizing multimedia interpretation based on abduction over description logic aboxes
Year	2009
Booktitle	Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK

@phdthesis: Paavola:OriginIdeas

Tag	Content
Author	Sami Paavola
Title	On the Origin of Ideas. An Abductivist Approach to Discovery
Year	2006
Address	Helsinki
School	University of Helsinki

@incollection: Paavola:EssentialTensions

Tag	Content
Author	Sami Paavola
Title	Essential Tensions in Scientific Discovery
Year	2001
Booktitle	Explanatory Connections. Electronic essays dedicated to Matti Sintonen
Editor	P. Ylikoski and M. Kiikeri
Publisher	http://www.valt.helsinki.fi/kfil/matti/

@article: Paavola:AbductionLogicMethodology

Tag	Content
Author	Sami Paavola
Title	Abduction as a Logic and Methodology of Discovery: The Importance of Strategies
Year	2004
Abstract	There are various ``classical'' arguments against abduction as a logic of discovery,especially that (1) abduction is too weak a mode of inference to be of any use, and (2) in basic formulation of abduction the hypothesisis already presupposed to be known, so it is not the way hypotheses are discovered in the first place. In this paper I argue, by bringing forth the idea of strategies,that these counter-arguments are weaker than may appear. The concept of strategies suggests, inter alia, that many inferential moves are taken into account at the same time. This is especially important in abductive reasoning, which is basically a very weak mode of inference. The importance of strategic thinking can already be seen in Charles S.Peirce's early treatments of the topic, and N.R.Hanson's later writings on abduction although they did not use the concept of``strategies.'' On the whole, I am arguing that the focus should be more on methodological processes, and not only on validity considerations, which have dominated the discussion about abduction.
Journal	Foundations of Science
Number	3
Pages	267--283
Publisher	Springer Netherlands
Volume	9

@article: Hunt:TheoryStatus

Tag	Content
Author	Shelby D. Hunt
Title	Theory Status, Inductive Realism and Approximate Truth: No Miracles, No Charades
Year	2011
Journal	International Studies in the Philosophy of Science
Number	2
Pages	159--178
Publisher	Routledge
Volume	25

@article: CastanoEspinosaFerrara:MultimediaInterpretation

Tag	Content
Author	Silvana Castano and Irma Sofia Espinosa Peraldi and Alfio Ferrara and Vangelis Karkaletsis and Atila Kaya and Ralf Möller and Stefano Montanelli and Georgios Petasis and Michael Wessel
Title	Multimedia Interpretation for Dynamic Ontology Evolution
Year	2009
Doi	10.1093/logcom/exn049
Eprint	http://logcom.oxfordjournals.org/content/19/5/859.full.pdf+html
Journal	Journal of Logic and Computation
Number	5
Pages	859--897
Volume	19
URL	http://logcom.oxfordjournals.org/content/19/5/859.abstract

@incollection: Zipoli:ExplainingScientificSuccess

Tag	Content
Author	Silvano Zipoli
Title	Explaining the Scientific Success. A Critique of an Abductive Defence of Scientific Realism
Year	2010
Booktitle	New Essays in Logic and Philosophy of Science
Editor	Marcello D'Agostino and Giulio Giorello and Federico Laudisa and Telmo Pievani and Corrado Sinigaglia
Publisher	College Publication

@phdthesis: Lysklett:Dialog

Tag	Content
Author	Sissel Rolness Lysklett
Title	Dialog mellom ideer. Ideutviklingens vilkar i arbeidsgruppemøter
Year	2006
School	Insitutt for sprak-og kommunidasjonsstudier

@incollection: Psillos:SimplyBest

Tag	Content
Author	Stathos Psillos
Title	Simply the Best: A Case for Abduction
Year	2002
Abstract	This paper formulates what I think is the basic problem of any attempt to characterise the abstract structure of scientific method, viz., that it has to satisfy two conflicting desiderata: it should be ampliative (contentincreasing) and it should confer epistemic warrant on its outcomes. Then, after two extreme solutions to the problem of the method, viz., Enumerative Induction and the Method of Hypothesis, are examined, the paper argues that abduction, suitably understood as Inference to the Best Explanation, offers the best description of scientific method and solves the foregoing problem in the best way: it strikes the best balance between ampliation and epistemic warrant.
Booktitle	Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part Ii
Pages	83--93
Publisher	Springer Berlin
Volume	2408

@mastersthesis: Klarman:ABoxAbduction

Tag	Content
Author	Szymon Klarman
Title	ABox Abduction in Description Logic
Year	2008
School	Universiteit van Amsterdam

@phdthesis: Hettel:ModelRoundTrip

Tag	Content
Author	T. Hettel
Title	Model round-trip engineering
Year	2010
School	Queensland University of Technology

@book: Schonwalder:FreiheitNorm

Tag	Content
Author	T. Schönwälder-Kuntze
Title	Freiheit als Norm?: moderne Theoriebildung und der Effekt Kantischer Moralphilosophie
Year	2010
Isbn	9783837613667
Publisher	Transcript Verlag
Series	Edition Moderne Postmoderne
URL	http://books.google.com/books?id=esT874-3lYUC

@article: Kuipers:InstrumentalistAbductionTask

Tag	Content
Author	T.A.F. Kuipers
Title	The instrumentalist abduction task and the nature of empirical counter examples. Reply to Atocha Aliseda
Year	2005
Journal	Poznań Studies in the Philosophy of the Sciences and the Humanities
Number	1
Pages	190--192
Publisher	Rodopi
Volume	83

@incollection: Kuipers:ConfirmationTruth

Tag	Content
Author	T.A.F. Kuipers
Title	Confirmation and Truthlikeness. Reply to Gerhard Schurz
Year	2005
Booktitle	Confirmation, Empirical Progress and Truth Approximation: Essays in Debate with Theo Kuipers
Editor	R. Festa and Atocha Aliseda and J. Peijnenburg
Isbn	90-420-1638-8
Pages	160
Publisher	Rodopi
Series	Poznan Studies in the Philosophy of the Sciences and the Humanities
Volume	83

@article: Kuipers:StartAbductionEmpirical

Tag	Content
Author	T.A.F. Kuipers
Title	Another start for abduction aiming at empirical progress. Reply to Joke Meheus
Year	2005
Journal	Poznań Studies in the Philosophy of the Sciences and the Humanities
Number	1
Pages	218--220
Publisher	Rodopi
Volume	83

@book: MeitzKonrad:Ordnung

Tag	Content
Author	T.G.K. Meitz and M.T.G. Konrad
Title	Unordnung der Ordnung: Anmerkungen zur Protologik des Beobachtens
Year	2009
Isbn	9783631577196
Lccn	2010454789
Publisher	Peter Lang
Series	Europäische Hochschulschriften. Reihe 40: Kommunikationswissenschaft und Publizistik Series
URL	http://books.google.com/books?id=qCGrhWljmLkC

@article: SoomroKhan:OverviweHumanPlausibleReasoning

Tag	Content
Author	Tariq Rahim Soomro and Muhammad Saad Khan
Title	An Overview of Human Plausible Reasoning
Year	2012
Journal	International Journal of Computer Applications
Month	May
Note	Published by Foundation of Computer Science, New York, USA
Number	18
Pages	1-4
Volume	45

@article: Mazzotti:Pragmatismo

Tag	Content
Author	Tarso B. Mazzotti
Title	Pragmatismo/pragmaticismo: um método para o filosofar
Year	2003
Address	Marília
Journal	Filosofía Americana
Note	NO SÉ SI ES ARTÍCULO O CAPÍTULO EN LIBRO
Number	1
Pages	67--80
Volume	1

@book: Kuipers:StructuresScience

Tag	Content
Author	Theo A. F. Kuipers
Title	Structures in Science. Heuristic Patterns Based on Cognitive Structures: An Advanced Textbook in Neo-Classical Philosophy of Science
Year	2001
Publisher	Kluwer Academic Publishers
Series	Synthese Library
Volume	301

@article: Kuipers:AbductionEmpiricalProgress

Tag	Content
Author	Theo A. F. Kuipers
Title	Abduction Aiming at Empirical Progress or Eventruth Approximationleading to a Challenge for Computational Modelling
Year	1999
Abstract	This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''.
Journal	Foundations of Science
Number	3
Pages	307--323
Publisher	Springer Netherlands
Volume	4

@incollection: HettelLawleyRaymond:TowardsModelRoundTrip

Tag	Content
Author	Thomas Hettel and Michael Lawley and Kerry Raymond
Title	Towards Model Round-Trip Engineering: An Abductive Approach
Year	2009
Affiliation	Queensland University of Technology School of Information Technology Brisbane Australia
Booktitle	Theory and Practice of Model Transformations
Editor	Richard Paige
Pages	100--115
Publisher	Springer Berlin / Heidelberg
Series	Lecture Notes in Computer Science
Volume	5563

@article: Witt:NoveltyEconomics

Tag	Content
Author	Ulrich Witt
Title	Novelty and the bounds of unknowledge in economics
Year	2009
Journal	Journal of Economic Methodology
Number	4
Pages	361--375
Publisher	Routledge
Volume	16

@article: Iranzo:AbductionInferenceBestExplanation

Tag	Content
Author	V. Iranzo
Title	Abduction and Inference to the Best Explanation
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

@inproceedings: RaskinHempelmannTaylorPetrenkoTriezenbergBuck:WhyHowWhatNaturalLanguage

Tag	Content
Author	V. Raskin and C.F. Hempelmann and J.M. Taylor and M.S. Petrenko and K.E. Triezenberg and B. Buck
Title	The Why's, How's, and What-of's of Natural Language Ontology
Year	2009
Booktitle	2nd Interdisciplinary Ontology Conference. Proceedings. Tokyo

@inproceedings: Vityaev:SynthesisLogic

Tag	Content
Author	Vityaev E.E.
Title	Synthesis of the logic and probability in the concept of prediction.
Year	2006
Booktitle	Asian Logic Conference 05
Editor	S. Goncharov and R. Downey and H. Ono
Publisher	World Scientific Publishers

@article: Carnielli:SurvivingAbduction

Tag	Content
Author	W. Carnielli
Title	Surviving abduction
Year	2006
Journal	Logic Journal of IGPL
Number	2
Pages	237
Publisher	Oxford University Press
Volume	14

@article: deDonato:IdealizationAbductionProgress

Tag	Content
Author	Xavier de Donato Rodríguez
Title	Idealization, Abduction, and Progressive Scientific Change
Year	2009
Journal	THEORIA. An International Journal for Theory, History and Foundations of Science
Number	3
Volume	22

Ángel Nepomuceno

Ángel Nepomuceno and F. Soler Toscano

Ángel Nepomuceno and F. Soler and A. Aliseda

Ángel Nepomuceno-Fernández

Ángel Nepomuceno-Fernández and Francisco J. Salguero-Lamillar and David Fernández-Duque

A. Amaya

A. Díaz and C. Uzcátegui

A. Laureano-Cruces and A. Terán-Gilmore and F. de Arriaga

A. Rivadulla

A. Viguera

A.C. Rodríguez de Romo and A. Aliseda and A. Arauz

A.L. Laureano-Cruces and A. Terán-Gilmore and F. Arriaga

A.M.M.S. Ullah

A.R.H. Ulloa

Adolfas Mackonis

Alejandro Ramírez Figueroa

Alex Ibarra Peña

Alexander Petrus Maria van den Bosch

Ana Lilia Laureano-Cruces and Amador Terán-Gilmore and Fernando de Arriaga Gómez and Mohamed El Alami

Ana Rosa Pérez Ransanz

Ana Rosa di Gravia

Andrés Páez

Axel Barceló Aspeitia

B. Klein and S. Agne and A.D. Bagdanov

B.R. Gaines

Brigitte Bessant

C. Delrieux

C. Elsenbroich and O. Kutz and U. Sattler

C. Fischer and S. Gregor

Carlos Henrique Marcondes and Marília Rocha Mendoca and Luciana Reis Malheiros and Leonardo Cruz de Costa and Tatiana Cristina Paredes Santos

Claudio Delrieux

D. Šešelja and C. Straßer

D. Batens

D. Batens and C. Straßer and P. Verdée

D. Batens and J. Meheus

D. Gabbay and J. Woods

D. Provijn

D. Walton and F. Macagno

D.M. Gabbay and J. Woods

D.M.N. Costa

Dagmar Provijn

Daniel Campos

David Pearce and Agustín Valverde

Diderik Batens

Dov Gabbay and John Woods

Dov M. Gabbay and John Woods

Edward J. S. Hearnshaw

F. Mulder and F. Voorbraak

F. Soler Toscano and Ángel Nepomuceno Fernández

F. Soler-Toscano and A. Nepomuceno-Fernández and A. Aliseda-Llera

F. Soler-Toscano and A. Nepomuceno-Fernandez

F.R. Velázquez-Quesada

Fernando Soler Toscano

Fernando Soler and Ángel Nepomuceno

Fernando Soler-Toscano and Ángel Nepomuceno-Fernández and Atocha Aliseda-Llera and Araceli Liliana Reyes-Cabello

Fernando Soler-Toscano and Ángel Nepomuceno-Fernández and F.J. Salguero Lamillar

Fernando Soler-Toscano and David Fernández-Duque and Ángel Nepomuceno-Fernández

Frantisek Mihina and Juraj Ziak

G. Ferrin and L. Snidaro and G.L. Foresti

G. Schurz

G. Vreeswijk

G.J.M. Kruijff

Geert-Jan Kruijff

Geert-jan M. Kruijff

Gerónimo Arias González

Giovanni Tuzet

Gustavo González Solano

H. Takeda and Y. Fujimoto and M. Yoshioka and Y. Shimomura and K. Morimoto and W. Oniki

Hans Lycke

Hugo Barrantes

Ilkka Niiniluoto

Indira Sehic and Hamza Gilani

Ingvar Ringdal

Irma Sofia Espinosa Peraldi and Atila Kaya and Ralf Möller

Isabella C. Burger and Johannes Heidema

J. Kamps

J. Meheus and D. Provijn

J. Reichertz

J. Woods