WorldCat Identities

Robinson, J. A. (John Alan)

Overview
Works: 30 works in 136 publications in 1 language and 3,066 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Editor
Publication Timeline
.
Most widely held works by J. A Robinson
Handbook of logic in artificial intelligence and logic programming by Dov M Gabbay( Book )

22 editions published between 1993 and 2002 in English and held by 489 WorldCat member libraries worldwide

Logic : form and function : the mechanization of deductive reasoning by J. A Robinson( Book )

15 editions published in 1979 in English and held by 374 WorldCat member libraries worldwide

Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index
Natural and artificial parallel computation( Book )

8 editions published in 1990 in English and held by 351 WorldCat member libraries worldwide

Handbook of automated reasoning by Alan Robinson( Book )

5 editions published in 2001 in English and held by 239 WorldCat member libraries worldwide

Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation
Computational logic : essays in honor of Alan Robinson( Book )

2 editions published in 1991 in English and held by 220 WorldCat member libraries worldwide

Handbook of logic in artificial intelligence and logic programming( Book )

8 editions published in 1995 in English and held by 66 WorldCat member libraries worldwide

Handbook of logic in artificial intelligence and logic programming by Dov M Gabbay( Book )

15 editions published between 1994 and 1998 in English and held by 63 WorldCat member libraries worldwide

Logical basic for the automation of reasoning : case studies / Larry Wos, Robeth Veroff / - Unification theory / Franz Baader, Jörg Siekmann / - Mathematical induction / Christoph Walther / - Higher orden logic / Daniel Leivant / - Meta-languages, reflection principles, and self-reference / Donald Perlis, V.S. Subrahmanian / - Classical vs non-classical logics (the universal-ity of classical logic) - D.M. Gabbay
Handbook of logic in artificial intelligence and logic programming by Dov M Gabbay( Book )

11 editions published in 1994 in English and held by 54 WorldCat member libraries worldwide

AI and nonmonotonic reasoning / Matthew L. Ginsberg / - General patterns in nonmonotonic reasoning / David Makinson / - Some direct theories of nonmonotonic inheritance / John F. Horty / - Default logic / David Poole / - Autoepistemic logic / Kurt Konolige / - Circumscription / Vladimir Lifschitz / - Defeasible logic / Donald Nute / - Uncertainty logics / Henry E. Kyburg, Jr. / - Possibilistic logic / D. Dubois, J. Lang
Logic programming by Dov M Gabbay( Book )

17 editions published in 1998 in English and Undetermined and held by 53 WorldCat member libraries worldwide

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
GAMMA I : a general theorem-proving program for the IBM 704 by Argonne National Laboratory( Book )

3 editions published in 1961 in English and held by 10 WorldCat member libraries worldwide

GAMMA I is a FORTRAN-compiled program for the IBM 704 Electronic Data-Processing Machine. It embodies a certain general, uniform procedure H of mathematical logic for seeking out a proof of any theorem within any mathematical theory which is given in formal axiomatic form. An extended discussion is provided of the underlying method and of the necessary background of mathematical logic. The program is described in detail
Handbook of automated reasoning by Alan Robinson( Book )

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

Research in education for professional development : a learning pack by Robert Livingston( Book )

1 edition published in 1995 in English and held by 7 WorldCat member libraries worldwide

Logic programming in LISP by J. A Robinson( Book )

3 editions published between 1980 and 1981 in English and held by 6 WorldCat member libraries worldwide

The 'Language Studies' contract is divided into four project areas, all of which are directed to the problems of effectively, reliably and efficiently using modern computers in a wide range of applications. Three of the projects deal with methods of communicating with computers. Task 1. Very High Level Programming Systems (P.I: J.A. Robinson). This group is working towards combining the features developed to support work in the area of artificial intelligence and those used in general program development into a new conceptual framework that can be understood and used by a large community of users. Task 2. Proving Program Correctness (P.I: J.C. Reynolds). This group is working towards programming language designs which increase the probability that specification errors will be detected by the compiler or interpreter and to provide the language facilities so that users will more nearly be able to prove that programs perform as they are specified than is currently possible. Task 3. Grammars of Programming (P.I: E.F. Storm). This group is working towards the development of methods which will allow users to communicate with computer programs in terms of more normal to their every day communication forms. Task 4. Systems Studies (P.I: R.G. Sargent). This group is working towards developing more sophisticated and efficient models of computer systems which can predict system performance when given particular parameter values. The current efforts concern models of transaction processing systems (TPS). (Author)
Handbook of automated reasoning( Book )

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

Handbook of Automated Reasoning
Handbook of automated reasoning( Book )

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

Remembering : retroactive interference and facilitation of encoding processes by J. A Robinson( Book )

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

A machine-oriented logic based on the resolution principle by J. A Robinson( Book )

1 edition published in 1965 in English and held by 1 WorldCat member library worldwide

The present status of computer theorem-proving research by J. A Robinson( Book )

1 edition published in 1963 in English and held by 1 WorldCat member library worldwide

On automatic deduction by J. A Robinson( Book )

1 edition published in 1964 in English and held by 1 WorldCat member library worldwide

The generalized resolution principle by J. A Robinson( Book )

1 edition published in 1967 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.02 for Logic prog ... to 0.85 for Handbook o ...)

Handbook of logic in artificial intelligence and logic programming
Alternative Names
Alan Robinson

John Alan Robinson brit filozófus, matematikus

John Alan Robinson britisch-US-amerikanischer Logiker

John Alan Robinson Brits wiskundige

John Alan Robinson informaticien britannique

John Alan Robinson informático teórico del Reino Unido

John Alan Robinson matematico statunitense

Robinson, Alan

Robinson, Alan 1930-2016

Robinson, Alan (John Alan)

Robinson, J. A.

Robinson, J. A. 1930-2016

Robinson, J. A. (John Alan)

Robinson, J. Alan 1930-2016

Robinson, John 1930-2016

Robinson, John Alan

Robinson, John Alan 1930-2016

Джон Алан Робінсон

Робинсон, Джон Алан

ジョン・アラン・ロビンソン

Languages
English (123)

Covers
Handbook of automated reasoningComputational logic : essays in honor of Alan RobinsonHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingLogic programmingHandbook of automated reasoningHandbook of automated reasoningHandbook of automated reasoning