|
Also Recommended
|
|
|
Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger...
£260.00
|
|
|
|
|
Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Dov M. Gabbay, C. J. Hogger...
£260.00
|
|
|
|
|
|
Volume 1: Logic Foundations
Dov M. Gabbay, C. J. Hogger...
£260.00
|
|
|
|
|
Handbook of Logic in Artificial Intelligence and Logic Programming
Volume 5: Logic Programming
Edited by Dov M. Gabbay, C.J. Hogger, and J. A. Robinson
814 pages
|
12 line figures
|
234x156mm
978-0-19-853792-2
|
Hardback
|
08 January 1998
|
|
This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.
|
|
|
- Include contents list and contributors list in NBB....
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.Readership:
Theoretical computer scientists.
|
|
|
Edited by Dov M. Gabbay, Professor of Computing, C.J. Hogger, Department of Computing, both t Imperial College, and J. A. Robinson, Department of Computing, Syracuse University Contributors:
J Gallagher, Department of Computer Science, University of Bristol, University Walk, Bristol, BS8 3PN P M Hill, School of Computer Studies, The University of Leeds, Leeds, LS2 9JT J Jaffar, Department of Information Systems and Computer Science, National University of Singapore, Kent Ridge, Singapore 0511 A C Kakas, Department of Computer Science, University of Cyprus, P O Box 537, CY-1678 Nicosia, Cyprus R A Kowalski,
Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London, SW7 2BZ J Lobo, Department of Computer Science, University of Illinois at Chicago Circle, Chicago, Illinois, USA D W Loveland, Computer Science Department, Box 91029, Duke University, Durham, NC 27708-0129, USA M J Maher, IBM Thomas J Watson Research Center, P O Box 704, Yorktown Heights, NY 10598, USA D Miller, Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104-6389, USA J Minker, Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland 20742, USA G Nadathur, Department of Computer Science, University of Chicago, University of Chicago, 1100 East 58th Street, Chicago, Illinois 60637, USA
M J O'Donnell, Department of Computer Science, University of Chicago, 1100 East 58th Street, Chicago Illinois 60637, USA A Pettorossi, Electronics Department, University of Rome II, Via della Ricerca Scientifica, I-00133 Roma, Italy M Proietti, Viale Manzoni 30, I-00185 Roma, Italy A Rajasekar, San Diego Supercomputer Center, La Jolla, California 92093, USA J Shepherdson, Department of Mathematics, University of Bristol, University Walk, Bristol, BS8 3PN F Toni, Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London, SW7 2BZ
|
|
|
"From reviews of previous volumes: `... the Handbook can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal"
|
|
|
1: Introduction to Logic Programming
2: Equational Logic Programming
3: Proof Procedure for Logic Programming
4: The Role of Abduction in Logic Programming
5: Semantics for Disjunctive Logic Programs
6: Negation as Failure, Completion and Statificaiton
7: Metaprogramming in Logic Programming
8: Higher-order Logic Programming
9: Constraint Logic Programming
10: Transformation of Logic Programs
|
|
|
|
The specification in this catalogue, including without limitation price, format, extent, number of illustrations, and month of publication, was as accurate as possible at the time the catalogue was compiled. Occasionally, due to the nature of some contractual restrictions, we are unable to ship a specific product to a particular territory. Jacket images are provisional and liable to change before publication.
|
|
