WorldCat Identities

McCarthy, John 1927-2011

Overview
Works: 226 works in 466 publications in 6 languages and 4,208 library holdings
Roles: Author, Editor, Composer, Honoree, Other, Contributor, Conductor
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 2016 in 4 languages and held by 619 WorldCat member libraries worldwide

The book description for the forthcoming "Automata Studies. (AM-34)" is not yet available
LISP 1.5 programmer's manual : the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology by Massachusetts Institute of Technology( Book )

45 editions published between 1962 and 1985 in 4 languages and held by 372 WorldCat member libraries worldwide

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

5 editions published in 1991 in English and held by 224 WorldCat member libraries worldwide

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 182 WorldCat member libraries worldwide

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 74 WorldCat member libraries worldwide

Technology as experience by John McCarthy( Book )

17 editions published between 2004 and 2007 in English and Undetermined and held by 57 WorldCat member libraries worldwide

This book shows how to understand our interactions with technology: considering the emotional, intellectual, and sensual aspects of the user experience. In "Technology as Experience", John McCarthy and Peter Wright argue that any account of what is often called the user experience must take into consideration the emotional, intellectual, and sensual aspects of our interactions with technology. We don't just use technology, they point out; we live with it. They offer a new approach to understanding human-computer interaction through examining the felt experience of technology. Drawing on the pragmatism of such philosophers as John Dewey and Mikhail Bakhtin, they provide a framework for a clearer analysis of technology as experience. Just as Dewey, in "Art as Experience", argued that art is part of everyday lived experience and not isolated in a museum, McCarthy and Wright show how technology is deeply embedded in everyday life. The "zestful integration" or transcendent nature of the aesthetic experience, they say, is a model of what human experience with technology might become. McCarthy and Wright illustrate their theoretical framework with real-world examples that range from online shopping to ambulance dispatch. Their approach to understanding human-computer interaction - seeing it as creative, open, and relational, part of felt experience - is a measure of the fullness of technology's potential to be more than merely functional
Intelligent systems( Visual )

3 editions published between 1992 and 1993 in English and held by 36 WorldCat member libraries worldwide

Dr. Jeffrey Mishlove discusses artificial intelligence and the nature of expert computer systems with four experts
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

Basic research in artificial intelligence and foundations of programming : final report by John McCarthy( Book )

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

Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding
En compagnie des robots by Alain Bensoussan( Book )

1 edition published in 2016 in French and held by 19 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.]
Experience-centered design : designers, users, and communities in dialogue by Peter Wright( Book )

7 editions published in 2010 in English and held by 18 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
Project technical report by John McCarthy( Book )

9 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 )

6 editions published in 1985 in English and Undetermined and held by 12 WorldCat member libraries worldwide

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

6 editions published in 1980 in English and Undetermined and held by 11 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)
Recursive programs as functions in a first order theory by Robert Cartwright( Book )

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

Pure Lisp style recursive function programs are represented in a new way by sentences and schemata of first order logic. This permits easy and natural proofs of extensional properties of such programs by methods that generalize structural induction. It also systematizes known methods such as recursion induction, subgoal induction, inductive assertions by interpreting them as first order axiom schemata. We discuss the metatheorems justifying the representation and techniques for proving facts about specific programs. We also give simpler version of the Goedel-Kleene way of representing computable functions by first order sentences. (Author)
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

Recent research in computer science by John McCarthy( Book )

7 editions published in 1977 in English and Undetermined and held by 9 WorldCat member libraries worldwide

This report summarizes recent accomplishments in six related areas: basic AI research and formal reasoning, image understanding, mathematical theory of computation, program verification, natural language understanding, and knowledge based programming
Reports on Trinidad exhibits : prepared under superintendence of the Society of Arts( Book )

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

Intelligent systems( Visual )

1 edition published in 2007 in English and held by 4 WorldCat member libraries worldwide

Psychotherapist and spiritual researcher Jeffrey Mishlove interviews guest experts about artificial intelligence and consciousness. Four 30 minute programs on one cassette
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.44 (from 0.08 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ž.

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
English (191)

German (3)

Italian (2)

French (1)

Chinese (1)

Danish (1)

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 reviewsTechnology as experienceExperience-centered design : designers, users, and communities in dialogue