Items related to Logic Programming: Operational Semantics and Proof...
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) - Softcover
Synopsis
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
"synopsis" may belong to another edition of this title.
Book Description
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.
Review
..."selected as one of the best PhD dissertations in computer science. Researchers interested in logic programming and semantics will find interesting results in this book, including both theoretical and practical solutions." G. Ciobanu, Computing Reviews
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2004
- ISBN 10 052160754X
- ISBN 13 9780521607544
- BindingPaperback
- LanguageEnglish
- Number of pages120
Search results for Logic Programming: Operational Semantics and Proof...
Stock Image
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190009253
Quantity: Over 20 available
Stock Image
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521607544
Quantity: Over 20 available
Stock Image
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521607544_new
Quantity: Over 20 available
Stock Image
Logic Programming
Published by
Cambridge University Press CUP, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 120. Seller Inventory # 26508794
Quantity: 4 available
Stock Image
Logic Programming: Operational Semantics and Proof Theory (Paperback)
Published by
Cambridge University Press, Cambridge, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Paperback
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area. Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which ???depth-first??? search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform ???breadth-first??? searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521607544
Quantity: 1 available
Stock Image
Logic Programming: Operational Semantics and Proof Theory
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 104 pages. 10.00x7.75x0.50 inches. In Stock. This item is printed on demand. Seller Inventory # __052160754X
Quantity: 1 available
Stock Image
Logic Programming
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 120 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7371941
Quantity: 4 available
Stock Image
Logic Programming: Operational Semantics and Proof Theory
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 260. Seller Inventory # C9780521607544
Quantity: Over 20 available
Stock Image
Logic Programming
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 120. Seller Inventory # 18508784
Quantity: 4 available
Seller Image
Logic Programming : Operational Semantics and Proof Theory
Published by
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area. Seller Inventory # 9780521607544
Quantity: 1 available