Model-Based Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
Computational logic in multi-agent systems ; Vol. 3900 ; 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Character Evidence : An Abductive Theory
This book is on evidence for character judgments, This book answers the question using a model of abductive reasoning, commonly called inference to the best explanation. The methodology of the book derives from recent work on models of reasoning in argumentation theory and artificial intelligence. The aim is not just to show how character judgments are made, but to show how they should be properly be made based on sound reasoning, in order to avoid errors and superficial judgments of a kind that are common.
Abductive Reasoning : Logical Investigations into Discovery and Explanation
Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications.



