Overview

This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming, held in Saint-Malo, France, September 6-10,2004.Since the ?rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the ProgramCommittee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-postersession took place during the conference. It servedas aforumforpresentingworkinamoreinformalandinteractivesetting.Abstracts ofthe16postersselectedbytheProgramCommitteeareincludedinthisvolume as well. The conference program also included invited talks and invited tutorials. We were privileged to have talks by three outstanding researchers and excellent speakers: Nachum Dershowitz (Tel Aviv University, Israel) talked on Ter- nation by Abstraction, Michael Gelfond (Texas Tech University, USA) on - swer Set Programming and the Design of Deliberative Agents, andG erard Huet (INRIA, France) on Non-determinism Lessons. Two of the invited talks appear in these proceedings. The tutorials covered topics of high interest to the logic programming community: Ilkka Niemel] a gave a tutorial on The Implementation of Answer Set Solvers, Andreas PodelskionTree Automata in Program Analysis and Veri'cation, and Guillermo R. Simari onDefeasible Logic Programming and Belief Revision. Satelliteworkshopsmadetheconferenceevenmoreinteresting.Sixworkshops collocated with ICLP 2004: - CICLOPS2004, Colloquium on Implementation of Constraint and Logic Programming Systems, organized by Manuel Carro. - COLOPS2004,2ndInternationalWorkshoponConstraint&LogicProgr- ming in Security, organized by Frank Valencia. - MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. - TeachLP2004,1stInternationalWorkshoponTeachingLogicProgramming, organized by Dietmar Seipel.
ISBN-13

9783540226710

ISBN-10

3540226710

Weight

2.53 Pounds

Dimensions

6.10 x 1.12 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

xii, 484 pages

Publisher

Springer

Published On

2004-08-24


View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$41.90

 Free delivery by: 02 Apr 2026

✨ Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Print on demand Trade paperback (US). Glued binding. 484 p. Lecture Notes in Computer Science, 3132...
$58.73

 Free delivery by: 02 Apr 2026

Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$70.76

 Free delivery by: 02 Apr 2026

Brand New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$73.60

 Free delivery by: 02 Apr 2026


Bookstores.com relies on cookies to improve your experience.