Seeking Explanations: Abduction in Logic, Philosophy of...

Main
Mathematics - Logic
Seeking Explanations: Abduction in...

Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence [PhD Thesis]

Atocha Aliseda-LLera

0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

This is a PhD Thesis written under supervision of Prof. dr. Johan van Benthem.

카테고리:

Mathematics - Logic

년:

1997

출판사:

University of Amsterdam

언어:

english

페이지:

209

ISBN 10:

9074795730

ISBN 13:

9789074795739

시리즈:

ILLC Dissertation Series DS-1997-04

파일:

PDF, 1006 KB

IPFS:

,

english, 1997

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

Vincent C. Müller — Philosophy and Theory of Artificial Intelligence 2017

John Dever — Logic and Scientific Reasoning - Lecture Notes

Clarence Irving Lewis — A Survey of Symbolic Logic

Detlefsen M. (Ed) — Proof, Logic and Formalization

David Harel, Dexter Kozen, Jerzy Tiuryn — Dynamic logic

Lorenzo Magnani — Abduction, Reason and Science - Processes of Discovery and Explanation

Dov M. Gabbay and John Woods (Eds.) — The reach of abduction insight and trial

John R. Josephson, Susan G. Josephson — Abductive Inference: Computation, Philosophy, Technology

Ian Hacking — An Introduction to Probability and Inductive Logic

Charles S. Peirce — Collected Papers of Charles Sanders Peirce, Vol 4 - The Simplest Mathematics

Douglas Walton — Abductive Reasoning

Atocha Aliseda — Abductive Reasoning: Logical Investigations into Discovery and Explanation

D. Michael Miller — Multiple Valued Logic: Concepts and Representation

Lorenzo Magnani — Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning

Konrad K. — Model generation for natural language interpretation and analysis [PhD Thesis]

Alexander Bochman — A Logical Theory of Causality

Amitabha Gupta, Johan Van Benthem (eds.) — ICPR Logic and Philosophy Today

Harrie de Swart — Philosophical and Mathematical Logic

Aliseda Atocha — Abductive Reasoning

Hintikka J.(ed) — The Philosophy of Mathematics

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

Dov M. Gabbay (Editor) — What is a Logical System?

G. Crocco, L. Fariñas del Cerro, A. Herzig — Conditionals: From Philosophy to Computer Science

Alexander Bochman — A Logical Theory of Causality

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning, vol.2

Graham Priest — An Introduction to Non-Classical Logic

Peter Schotch, Bryson Brown, Raymond Jennings — On Preserving: Essays on Preservationism and Paraconsistent Logic (Toronto Studies in Philosophy)

Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul van Bendegem — Logic Epistemology And The Unity Of Science

Shahid Rahman, John Symons (auth.), Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul van Bendegem (eds.) — Logic, Epistemology, and the Unity of Science

Peter Schotch; Bryson Brown; Raymond Jennings — On Preserving: Essays on Preservationism and Paraconsistent Logic

D.M. Gabbay, O.T. Rodrigues — Elementary Logic with Applications-A Procedural Perspective for Computer Scientists

Seiki Akama, Yotaro Nakayama, Tetsuya Murai — Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning

Juan Redmond, Olga Pombo Martins, Ángel Nepomuceno Fernández (eds.) — Epistemology, Knowledge and the Impact of Interaction

Karsten Konrad (auth.) — Model Generation for Natural Language Interpretation and Analysis

Konrad K. — Model Generation for Natural Language Interpretation and Analysis

Nicholas Asher, Michael Morreau (auth.), J. van Eijck (eds.) — Logics in AI: European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings

Z. An, M. McLeish (auth.), Michael Clarke, Rudolf Kruse, Serafín Moral (eds.) — Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.) — Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.) — Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Ryuzo Hasegawa, Hiroshi Fujita (auth.), Didier Galmiche (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings

N. G. de Bruijn (auth.), Harrie de Swart (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

주로 사용되는 용어