WorldCat Identities

Hogger, Christopher John

Overview
Works: 38 works in 181 publications in 5 languages and 2,738 library holdings
Genres: Academic theses 
Roles: Author, Editor
Publication Timeline
.
Most widely held works by Christopher John Hogger
Handbook of logic in artificial intelligence and logic programming by D. M Gabbay( )

22 editions published between 1998 and 2020 in English and held by 1,487 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
Introduction to logic programming by Christopher John Hogger( Book )

23 editions published between 1984 and 1988 in 4 languages and held by 589 WorldCat member libraries worldwide

Essentials of logic programming by Christopher John Hogger( Book )

11 editions published between 1990 and 2002 in English and held by 253 WorldCat member libraries worldwide

Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises
Handbook of logic in artificial intelligence and logic programming by Dov M Gabbay( Book )

17 editions published between 1994 and 1998 in English and held by 75 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( Book )

12 editions published in 1995 in English and held by 74 WorldCat member libraries worldwide

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

15 editions published in 1994 in English and held by 59 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
Handbook of logic in artificial intelligence and logic programming( Book )

6 editions published between 1993 and 1996 in English and held by 50 WorldCat member libraries worldwide

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

12 editions published between 1993 and 1996 in English and held by 39 WorldCat member libraries worldwide

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

9 editions published between 1993 and 1998 in English and held by 16 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
Handbook of logic in artificial intelligence and logic programming( Book )

in English and held by 14 WorldCat member libraries worldwide

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

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

Introduction to logic programming by Christopher John Hogger( Book )

3 editions published between 1984 and 1985 in English and held by 9 WorldCat member libraries worldwide

Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contributions to computing
Handbook of logic in artificial intelligence and logic programming( )

in English and held by 8 WorldCat member libraries worldwide

Grammar-related transformations of logic programs by D. R Brough( Book )

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

The treatment of loops in logic programming by D. R Brough( Book )

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

Vvedenie v logicheskoe programmirovanie by Christopher John Hogger( Book )

2 editions published in 1988 in Russian and held by 4 WorldCat member libraries worldwide

Logical foundations : vol. co-ordinator J. Siekmann by Jörg H Siekmann( Book )

3 editions published between 1993 and 1996 in English and held by 4 WorldCat member libraries worldwide

Introduzione alla programmazione logica by Christopher John Hogger( Book )

2 editions published in 1987 in Italian and held by 4 WorldCat member libraries worldwide

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

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

Derivation of logic programs by Christopher John Hogger( Book )

4 editions published between 1978 and 1979 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.35 (from 0.06 for Handbook o ... to 0.97 for Vvedenie v ...)

WorldCat IdentitiesRelated Identities
Handbook of logic in artificial intelligence and logic programming Handbook of logic in artificial intelligence and logic programming Handbook of logic in artificial intelligence and logic programming Logical foundations : vol. co-ordinator J. Siekmann Handbook of logic in artificial intelligence and logic programming
Covers
Essentials of logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programming
Alternative Names
Chogger, K.

Chogger, Kristofer Džon

Christopher Hogger Ph.D. Imperial College London 1968

Hoger, C.J.

Hoger, C.J. (Christopher John)

Hogger, C. J.

Hogger, C. J. (Christopher John)

Hogger, Ghristopher John

Hogger, K.

Hogger, Kristofer Džon.

Хоггер, К.

Languages