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
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
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
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
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
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
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 /  Metalanguages, reflection principles, and selfreference / Donald Perlis, V.S. Subrahmanian /  Classical vs nonclassical logics (the universality of classical logic)  D.M. Gabbay
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 /  Metalanguages, reflection principles, and selfreference / Donald Perlis, V.S. Subrahmanian /  Classical vs nonclassical logics (the universality 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
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 multivolume 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 wellregarded 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 indepth 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
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 multivolume 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 wellregarded 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 indepth 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 theoremproving 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 FORTRANcompiled program for the IBM 704 Electronic DataProcessing 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
3 editions published in 1961 in English and held by 10 WorldCat member libraries worldwide
GAMMA I is a FORTRANcompiled program for the IBM 704 Electronic DataProcessing 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
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
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)
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
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
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
2 editions published in 1965 in English and held by 2 WorldCat member libraries worldwide
A machineoriented 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
1 edition published in 1965 in English and held by 1 WorldCat member library worldwide
The present status of computer theoremproving research by
J. A Robinson(
Book
)
1 edition published in 1963 in English and held by 1 WorldCat member library worldwide
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
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
1 edition published in 1967 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Gabbay, Dov M. 1945 Author Editor
 Hogger, Christopher John Editor
 Voronkov, Andrei 1959 Editor
 Arbib, Michael A. Editor
 Plotkin, G. (Gordon) 1946
 Lassez, JeanLouis
 Siekmann, J. Publishing director Editor
 Galton, Anthony (coord.) Publishing director
 Nute, Donald (1947 ...). Publishing director Editor
 Argonne National Laboratory Division of Applied Mathematics
Useful Links
Associated Subjects
Artificial intelligence Automatic theorem proving Career development Computer programming Computer programs EducationResearch EducationResearchStudy and teaching Form (Logic) FORTRAN (Computer program language) IBM 704 (Computer) Inference LISP (Computer program language) Logic, Symbolic and mathematical Logic design Logic programming Memory Neural networks (Computer science) Northern Ireland Parallel processing (Electronic computers) Predicate calculus Qualitative reasoning Reasoning Robinson, J. A.(John Alan) Universities and collegesGraduate work University of Ulster
Alternative Names
Alan Robinson
John Alan Robinson brit filozófus, matematikus
John Alan Robinson britischUSamerikanischer 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 19302016
Robinson, Alan (John Alan)
Robinson, J. A.
Robinson, J. A. 19302016
Robinson, J. A. (John Alan)
Robinson, J. Alan 19302016
Robinson, John 19302016
Robinson, John Alan
Robinson, John Alan 19302016
Джон Алан Робінсон
Робинсон, Джон Алан
ジョン・アラン・ロビンソン
Languages
Covers