pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 5: LOGIC PROGRAMMING
By: Dov M. Gabbay (Editor), J. A. Robinson (Editor)
Format: Hardback

List price: £430.00
Our price: £376.25
Discount:
12.5% off
You save: £53.75
ISBN 10: 0198537921
ISBN 13: 9780198537922
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: OXFORD UNIVERSITY PRESS
Pub. date: 8 January, 1998
Series: Handbook of Logic in Artificial Intelligence and Logic Programming
Pages: 814
Description: The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of 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 the well-regarded series.
Synopsis: 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.
Illustrations: 12 line figures
Publication: UK
Imprint: Clarendon Press
Returns: Returnable
Some other items by this author:
A NEW APPROACH TO QUANTUM LOGIC (PB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (HB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (PB)
A PRACTICAL LOGIC OF COGNITIVE SYSTEMS (HB)
ABDUCTIVE REASONING AND LEARNING (HB)
ABDUCTIVE REASONING AND LEARNING (PB)
ADVANCES IN TEMPORAL LOGIC (HB)
ADVANCES IN TEMPORAL LOGIC (PB)
AGENDA RELEVANCE: A STUDY IN FORMAL PRAGMATICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (PB)
APPROACHES TO LEGAL RATIONALITY (HB)
APPROACHES TO LEGAL RATIONALITY (PB)
AVRO ONE (PB)
BELIEF CHANGE (PB)
BRITISH LOGIC IN THE NINETEENTH CENTURY (HB)
COMPILED LABELLED DEDUCTIVE SYSTEMS (HB)
COMPUTATIONAL LOGIC (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (PB)
DYNAMIC SYNTAX (HB)
DYNAMIC SYNTAX (PB)
FIBRING LOGICS (HB)
FORTSCHRITTE DER CHEMIE ORGANISCHER NATURSTOFFE / PROGRESS IN THE CHEMISTRY OF ORGANIC NATURAL PRODUCTS (PB)
FRONTIERS OF COMBINING SYSTEMS (HB)
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE (HB)
GENERAL PHILOSOPHY OF SCIENCE: FOCAL ISSUES (HB)
GOAL-DIRECTED PROOF THEORY (HB)
GOAL-DIRECTED PROOF THEORY (PB)
GREEK, INDIAN AND ARABIC LOGIC (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 1: LOGIC FOUNDATIONS (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 2: DEDUCTION METHODOLOGIES (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 3: NONMONOTONIC REASONING AND UNCERTAIN REASONING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 3. SEMANTIC STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 4. SEMANTIC MODELLING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 5. ALGEBRAIC AND LOGICAL STRUCTURES (HB)
HANDBOOK OF PARACONSISTENCY (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES (HB)
HANDBOOK OF TABLEAU METHODS (HB)
HANDBOOK OF TABLEAU METHODS (PB)
HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE (HB)
I AM SALUTING YOU SIR (HB)
INDUCTIVE LOGIC (HB)
INTERPOLATION AND DEFINABILITY (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (PB)
JET BOMBER PILOT (PB)
LABELLED DEDUCTION (HB)
LABELLED DEDUCTION (PB)
LABELLED DEDUCTIVE SYSTEMS (HB)
LOGIC AND THE MODALITIES IN THE TWENTIETH CENTURY (HB)
LOGIC COLLOQUIUM 92 (HB)
LOGIC COLLOQUIUM 92 (PB)
LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY (PB)
LOGIC FROM RUSSELL TO CHURCH
LOGIC FROM RUSSELL TO CHURCH (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (PB)
LOGIC: A HISTORY OF ITS CENTRAL CONCEPTS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (PB)
MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC I (PB)
MEDIAEVAL AND RENAISSANCE LOGIC (HB)
META-LOGICAL INVESTIGATIONS IN ARGUMENTATION NETWORKS (PB)
NEURAL-SYMBOLIC COGNITIVE REASONING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (PB)
NEURAL-SYMBOLIC LEARNING SYSTEMS (PB)
PHILOSOPHY OF ANTHROPOLOGY AND SOCIOLOGY (HB)
PHILOSOPHY OF BIOLOGY (HB)
PHILOSOPHY OF COMPLEX SYSTEMS (HB)
PHILOSOPHY OF ECOLOGY (HB)
PHILOSOPHY OF INFORMATION (HB)
PHILOSOPHY OF LINGUISTICS (HB)
PHILOSOPHY OF MATHEMATICS
PHILOSOPHY OF MATHEMATICS (HB)
PHILOSOPHY OF MEDICINE (HB)
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE (HB)
PHILOSOPHY OF STATISTICS (HB)
PHILOSOPHY OF TECHNOLOGY AND ENGINEERING SCIENCES (HB)
PRACTICAL REASONING (PB)
PROOF THEORY FOR FUZZY LOGICS (PB)
QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING (PB)
QUANTIFICATION IN NONCLASSICAL LOGIC
QUANTIFICATION IN NONCLASSICAL LOGIC (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (PB)
REACTIVE KRIPKE SEMANTICS (HB)
REACTIVE KRIPKE SEMANTICS (PB)
REVISION, ACCEPTABILITY AND CONTEXT (HB)
REVISION, ACCEPTABILITY AND CONTEXT (PB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (HB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (PB)
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY (HB)
SOMERSET MEDIAEVAL CALENDARS (PB)
SYNTHESIS OF CONCEPTS IN THE TALMUD (HB)
TEMPORAL LOGIC (PB)
TEMPORAL LOGIC: VOLUME 1 (HB)
TEMPORAL LOGIC: VOLUME 2 (HB)
TESTER ZERO ONE (HB)
THE MANY VALUED AND NONMONOTONIC TURN IN LOGIC (HB)
THE RISE OF MODERN LOGIC: FROM LEIBNIZ TO FREGE (HB)
THE TEXTUAL INFERENCE RULES KLAL UPRAT. HOW THE TALMUD DEFINES SETS (HB)
TRENDS IN BELIEF REVISION AND ARGUMENTATION DYNAMICS (PB)
WHAT IS A LOGICAL SYSTEM? (HB)
WHAT IS NEGATION? (HB)
WHAT IS NEGATION? (PB)

TOP SELLERS IN THIS CATEGORY
Superintelligence (Paperback)
Oxford University Press
Our Price : £8.75
more details
The Emperor's New Mind (Paperback)
Oxford University Press
Our Price : £9.48
more details
PROLOG Programming for Artificial Intelligence (Paperback)
Pearson Education (US)
Our Price : £68.86
more details
Alan Turing (Paperback)
Vintage Publishing
Our Price : £8.02
more details
Introducing Artificial Intelligence (Paperback)
Icon Books Ltd
Our Price : £6.56
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 applications of computing
 artificial intelligence


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket