WorldCat Identities

McCarthy, John 1927-2011

Overview
Works: 213 works in 416 publications in 7 languages and 4,241 library holdings
Roles: Author, Editor, Conductor, Other, Honoree, Contributor
Classifications: TJ211, 006.3
Publication Timeline
.
Most widely held works by John McCarthy
Automata studies by Claude Elwood Shannon( Book )

34 editions published between 1956 and 1974 in 6 languages and held by 614 WorldCat member libraries worldwide

LISP 1.5 programmer's manual : the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology by Massachusetts Institute of Technology( Book )

46 editions published between 1962 and 1985 in 4 languages and held by 377 WorldCat member libraries worldwide

Annotation
Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy by Vladimir Lifschitz( Book )

3 editions published in 1991 in English and held by 219 WorldCat member libraries worldwide

Artificial and Mathematical Theory of Computation
Formalizing common sense : papers by John McCarthy( Book )

9 editions published between 1989 and 1998 in English and Undetermined and held by 190 WorldCat member libraries worldwide

Defending AI research : a collection of essays and reviews by John McCarthy( Book )

10 editions published between 1996 and 2000 in English and held by 180 WorldCat member libraries worldwide

Experience-centered design : designers, users, and communities in dialogue by Peter Wright( Book )

9 editions published in 2010 in English and held by 132 WorldCat member libraries worldwide

Experience-centered design, experience-based design, experience design, designing for experience, user experience design. All of these terms have emerged and gained acceptance in the Human- Computer Interaction (HCI) and Interaction Design relatively recently. In this book, we set out our understanding of experience-centered design as a humanistic approach to designing digital technologies and media that enhance lived experience. The book is divided into three sections. In Section 1, we outline the historical origins and basic concepts that led into and flow out from our understanding of experience as the heart of people's interactions with digital technology. In Section 2, we describe three examples of experience-centered projects and use them to illustrate and explain our dialogical approach. In Section 3, we recapitulate some of the main ideas and themes of the book and discuss the potential of experience-centered design to continue the humanist agenda by giving a voice to those who might otherwise be excluded from design and by creating opportunities for people to enrich their lived experience with- and through- technology
Open architectures for formal reasoning and deductive technologies for software development final report 5/1/91-7/31/94, grant no. NAG2-703( Book )

1 edition published in 1994 in English and held by 76 WorldCat member libraries worldwide

Intelligent systems( Visual )

4 editions published between 1992 and 2007 in English and held by 41 WorldCat member libraries worldwide

Dr. Jeffrey Mishlove discusses artificial intelligence and the nature of expert computer systems with four experts
Basic research in artificial intelligence and foundations of programming : final report by John McCarthy( Book )

12 editions published between 1978 and 1980 in English and Undetermined and held by 24 WorldCat member libraries worldwide

Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding
Terms for Soviet access to western computer technology by John McCarthy( Book )

3 editions published between 1989 and 1990 in English and held by 22 WorldCat member libraries worldwide

Project technical report by John McCarthy( Book )

8 editions published between 1968 and 1971 in English and held by 18 WorldCat member libraries worldwide

Recent work of the Stanford Artificial Intelligence Project is summarized in several areas: Scientific hypothesis formation; Symbolic computation; Hand-eye systems; Computer recognition of speech; Board games; and Other projects. (Author)
Applications of circumscription to formalizing common sense knowledge by John McCarthy( Book )

4 editions published in 1985 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Circumscription : a form of non-monotonic reasoning by John McCarthy( Book )

5 editions published in 1980 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning. (Author)
En compagnie des robots by Alain Bensoussan( Book )

1 edition published in 2016 in French and held by 10 WorldCat member libraries worldwide

"Tentons une expérience de pensée. Imaginons un monde où des robots nous tiendraient compagnie. Des machines aux traits humains, tour à tour souriantes et geignardes, qui nous accompagneraient au quotidien. Nous leur serions aussi attachés que nous le sommes à nos animaux domestiques. En vérité, ce monde est déjà en partie le nôtre. Ces robots d'un nouveau genre sont déjà dans les maisons de retraite, dans les écoles. Ils génèrent un attachement très puissant. Comment un tel lien peut-il se nouer ? Que dit-il de nous ? Quels risques prenons-nous en faisant confiance à ces logiciels incarnés, potentiellement espions ? Faut-il, pour se protéger d'eux, leur octroyer un statut juridique spécifique ?" [Source : 4e de couv.]
Recursive functions of symbolic expressions and their computation by machine by John McCarthy( Book )

5 editions published in 1959 in English and held by 9 WorldCat member libraries worldwide

Reports on Trinidad exhibits prepared under superintendence of the Society of Arts( Book )

2 editions published in 1888 in English and held by 8 WorldCat member libraries worldwide

Illustrative analysis, contraceptive sterilization and births averted in Panama by World Fertility Survey( Book )

2 editions published in 1979 in English and held by 8 WorldCat member libraries worldwide

Insulation of external walls in housing by John McCarthy( Book )

1 edition published in 1987 in English and held by 8 WorldCat member libraries worldwide

Programs with common sense by John McCarthy( Book )

5 editions published between 1958 and 1963 in English and held by 8 WorldCat member libraries worldwide

This paper discusses programs to manipulate in a suitable formal language (most likely a part of the predicate calculus) common instrumental statements. The basic program will draw immediate conclusions from a list of premises. These conclusions will be either declarative or imperative sentences. When an imperative sentence is deduced the program takes a corresponding action. These actions may include printing sentences, moving sentences on lists, and reinitiating the basic deduction process on these lists
Target motion analysis using range-only measurements : algorithms, performance and application to Ingara ISAR data by Branko Ristic( Book )

3 editions published in 2001 in English and held by 4 WorldCat member libraries worldwide

The report considers the problem of target motion analysis from range and range-rate target measurements. The motivation for this work comes from the need to track the target motion with the Ingara-Multi Mode Radar during an extended data collection in the ISAR mode. The report makes three main contributions. First, the theoretical Cramer-Rao bound for the performance of an unbiased range-only tracking algorithim is derived. Second, three algorithims for target motion analysis (using range and range-rate measurements only) are developed and compared to the theoretical bounds of performance. The three algorithims are: the Maximum Likelihood estimator, the extended Kalman filter and the Regularised Particle filter. Finally, the report presents the results of the application of the developed theory to the ISAR data collected in the recent trials with the Ingara radar
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.46 (from 0.09 for LISP 1.5 p ... to 1.00 for J. McCarth ...)

Defending AI research : a collection of essays and reviews
Alternative Names
Džon Makarti

John McCarthy amerikansk matematikar, informatikar og ingeniør

John McCarthy amerikansk matematiker, datavetare och ingenjör

John McCarthy amerikansk matematiker, informatiker og ingeniør

John McCarthy informaticien américain

John McCarthy informatico statunitense

John McCarthy informaticus

John McCarthy informatyk amerykański

John McCarthy (siyentipiko ng kompyuter)

John McCarthy US-amerikanischer Informatiker, Erfinder der Programmiersprache LISP

Mac Carthy, John 1927-

Mac Carthy John 1927-2011

MacCarthy, John 1927-

MacCarthy John 1927-2011

Makkarti, Dž 1927-2011

Mc Carthy, John 1927-

Mc Carthy John 1927-2011

McCarthy, J.

McCarthy, J. 1927-

McCarthy, J. 1927-2011

McCarthy, J. (John)

McCarthy, J. (John), 1927-

McCarthy, J. (John), 1927-2011

McCarthy, John C.

Τζον Μακάρθι

Джон Маккарти

Джон МакКарти американский информатик

Джон Маккарті

Маккарти, Дж 1927-

Маккарти, Дж. (Джон), 1927-

Маккарти Джон

Маккарти, Джон американский информатик

Џон Макарти

ג'ון מקארתי

جان مک‌کارتی ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی

جون مكارثي

جۆن مەککارتی

জন ম্যাকার্থি

ஜோன் மெக்கார்த்தி

존 매카시 미국의 컴퓨터 과학자

ジョン・マッカーシー American computer scientist

マッカーシー, J.

约翰·麦卡锡

Languages
Covers
LISP 1.5 programmer's manual : the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of TechnologyFormalizing common sense : papersDefending AI research : a collection of essays and reviewsExperience-centered design : designers, users, and communities in dialogue