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 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
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 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
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
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, newgeneration 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
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, newgeneration 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 /  Metalanguages, reflection principles, and selfreference / Donald Perlis, V.S. Subrahmanian /  Classical vs nonclassical logics (the universality of classical logic)  D.M. Gabbay
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 /  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(
Book
)
12 editions published in 1995 in English and held by 74 WorldCat member libraries worldwide
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
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
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
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 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
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 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
Handbook of logic in artificial intelligence and logic programming(
Book
)
in English and held by 14 WorldCat member libraries worldwide
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
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
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
in English and held by 8 WorldCat member libraries worldwide
Grammarrelated transformations of logic programs by
D. R Brough(
Book
)
2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide
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
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
2 editions published in 1988 in Russian and held by 4 WorldCat member libraries worldwide
Logical foundations : vol. coordinator 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
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
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
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
4 editions published between 1978 and 1979 in English and held by 3 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Gabbay, Dov M. 1945 Author Editor
 Robinson, J. A. (John Alan) Editor
 Robinson, John Alan Editor
 Siekmann, J. Publishing director Editor
 Quiniou, René
 Nute, Donald (1947 ...). Publishing director Editor
 Galton, Anthony (coord.) Publishing director
 Brough, D. R. Author
 Robinson, J. A. Editor
 Robinson, John A
Useful Links
Covers
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