search for books and compare prices
logic programming congresses matches 130 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781138798175 Cover for 9780387609836 Cover for 9780387610429 Cover for 9781138798182 Cover for 9783642205507 Cover for 9783642125911 Cover for 9783642119989 Cover for 9783642005145 Cover for 9783540894384 Cover for 9783540787686 Cover for 9783540784685 Cover for 9783540755586 Cover for 9783540745907 Cover for 9783540738466 Cover for 9783540729815 Cover for 9783540738169 Cover for 9783540721994 Cover for 9783540714095 Cover for 9783540342151 Cover for 9783540326540 Cover for 9783540292081 Cover for 9783540285380 Cover for 9783540281771 Cover for 9783540266556 Cover for 9783540261650 Cover for 9783540251767
Product Description: Natural language semantics and pragmatics are now two major fields in linguistics, philosophy, artificial intelligence and computational linguistics. With the development of large and efficient Prolog interpreters and compilers and with the expansion of the theoretical aspects of logic programming, the study of natural language semantics and related pragmatic aspects is now becoming a very attractive topic...read more
By Marvel Comics (corporate author)

Hardcover:

9780444704085, titled "Natural Language Understanding and Logic Programming, II: Proceedings" | Elsevier Science Ltd, April 1, 1988, cover price $133.25 | also contains Natural Language Understanding and Logic Programming, II: Proceedings | About this edition: Natural language semantics and pragmatics are now two major fields in linguistics, philosophy, artificial intelligence and computational linguistics.

cover image for 9781138798182
Product Description: Helmut Holzapfel’s Urbanism and Transport, a bestseller in its own country, now available in English, examines the history and the future of urban design for transport in major European cities. Urbanism and Transport shows how the automobile has come to dominate the urban landscape of cities throughout the world, providing thought-provoking analysis of the societal and ideological precursors that have given rise to these developments...read more

Hardcover:

9781138798175 | Routledge, February 5, 2015, cover price $180.00 | About this edition: Helmut Holzapfel’s Urbanism and Transport, a bestseller in its own country, now available in English, examines the history and the future of urban design for transport in major European cities.

Paperback:

9781138798182 | Routledge, February 11, 2015, cover price $52.95 | About this edition: Helmut Holzapfel’s Urbanism and Transport, a bestseller in its own country, now available in English, examines the history and the future of urban design for transport in major European cities.
9780387609836, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $56.00 | also contains Extensions of Logic Programming: 5th International Workshop, Elp ''96, Leipzig, Germany, March 28-30, 1996 : Proceedings
9780387610429, titled "Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ''96, Passau, Germany, March 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $68.00 | also contains Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ''96, Passau, Germany, March 1996 : Proceedings

cover image for 9783642205507
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions...read more
By Maria Alpuente (editor)

Paperback:

9783642205507 | Springer-Verlag New York Inc, June 28, 2011, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010.

cover image for 9783642125911
Product Description: Thisvolumecontainsaselectionofthepaperspresentedatthe19thInternational SymposiumonLogic-BasedProgramSynthesisandTransformation(LOPSTR 2009)heldSeptember 9-11,2009in Coimbra,Portugal. Informationaboutthe conference can be found at http://www...read more
By Danny De Schreye (editor)

Paperback:

9783642125911 | Springer-Verlag New York Inc, June 7, 2010, cover price $99.00 | About this edition: Thisvolumecontainsaselectionofthepaperspresentedatthe19thInternational SymposiumonLogic-BasedProgramSynthesisandTransformation(LOPSTR 2009)heldSeptember 9-11,2009in Coimbra,Portugal.

cover image for 9783642119989
Product Description: Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras' ?lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003),Grado(2002),Kiel(2001),Benicassim(2000),Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992)...read more
By Santiago Escobar (editor)

Paperback:

9783642119989 | Springer-Verlag New York Inc, May 21, 2010, cover price $99.00 | About this edition: Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras' ?

cover image for 9783642005145
Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book...read more
By Michael Hanus (editor)

Paperback:

9783642005145 | Springer-Verlag New York Inc, March 1, 2009, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.

cover image for 9783540894384
Product Description: This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions...read more
By Andrei Voronkov (editor)

Paperback:

9783540894384 | Springer-Verlag New York Inc, December 1, 2008, cover price $169.00 | About this edition: This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.

cover image for 9783540787686
Product Description: This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.
By Andy King (editor)

Paperback:

9783540787686 | Springer-Verlag New York Inc, May 20, 2008, cover price $89.99 | About this edition: This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

cover image for 9783540784685
Product Description: This book contains the post-conference proceedings of the 17th International Conference on Inductive Logic Programming. It covers current topics in inductive logic programming, from theoretical and methodological issues to advanced applications.
By Prasad Tadepalli (editor)

Paperback:

9783540784685 | Springer-Verlag New York Inc, May 4, 2008, cover price $99.00 | About this edition: This book contains the post-conference proceedings of the 17th International Conference on Inductive Logic Programming.

cover image for 9783540755586
Product Description: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions...read more
By Nachum Dershowitz (editor) and Andrei Voronkov (editor)

Paperback:

9783540755586 | Springer-Verlag New York Inc, December 7, 2007, cover price $139.00 | About this edition: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.

cover image for 9783540745907
Product Description: This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers...read more
By Jens Brandt (editor)

Paperback:

9783540745907 | Springer-Verlag New York Inc, October 11, 2007, cover price $119.00 | About this edition: This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

cover image for 9783540738466
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006, held in Santiago de Compostela, Spain, in August 2006. The papers address all current topics in inductive logic programming, ranging from theoretical and methodological issues to advanced applications...read more
By Stephen Muggleton (editor), Ramon Otero (editor) and Alireza Tamaddoni-Nezhad (editor)

Paperback:

9783540738466 | Springer-Verlag New York Inc, September 10, 2007, cover price $129.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006, held in Santiago de Compostela, Spain, in August 2006.

cover image for 9783540729815
Product Description: This book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria. It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications...read more

Paperback:

9783540729815 | Springer-Verlag New York Inc, July 4, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria.

cover image for 9783540738169
Product Description: This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006...read more
By Francisco Azevedo (editor)

Paperback:

9783540738169 | Springer-Verlag New York Inc, June 30, 2007, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006.

cover image for 9783540721994
Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems...read more
By Chitta Baral (editor), Gerhard Brewka (editor) and John Schlipf (editor)

Paperback:

9783540721994 | Springer-Verlag New York Inc, June 1, 2007, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007.

cover image for 9783540714095
Product Description: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006...read more
By Germán Puebla (editor)

Paperback:

9783540714095 | Springer-Verlag New York Inc, April 19, 2007, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.

cover image for 9783540342151
Product Description: This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book...read more

Paperback:

9783540342151 | Springer-Verlag New York Inc, June 15, 2006, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005.

cover image for 9783540326540
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions...read more
By Patricia M. Hill (editor)

Paperback:

9783540326540 | Springer-Verlag New York Inc, March 15, 2006, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005.

cover image for 9783540292081
Product Description: This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: - CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems - CSLP 2005: Constraint Solving and Language Processing - WCB 2005: Constraint Based Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in Programming Environments - MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools - CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse, whichoccurredon October 3rd and was visible in Sitges...read more
By Maurizio Gabbrielli (editor) and Gopal Gupta (editor)

Paperback:

9783540292081 | Springer-Verlag New York Inc, December 16, 2005, cover price $129.00 | About this edition: This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005.

cover image for 9783540285380
Product Description: Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995),Dagstuhl,Germany(1997),ElPaso,TX,USA(1999),Vienna,A- tria (2001) and Ft...read more
By Chitta Baral (editor), Gianluigi Greco (editor), Nicola Leone (editor) and Giorgio Terracina (editor)

Paperback:

9783540285380 | Springer-Verlag New York Inc, November 15, 2005, cover price $129.00 | About this edition: Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).

cover image for 9783540281771
Product Description: 1 “Change is inevitable.” Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was...read more
By Ilp 200 (other contributor), Stefan Kramer and Bernhard Pfahringer

Paperback:

9783540281771 | Springer-Verlag New York Inc, October 16, 2005, cover price $119.00 | About this edition: 1 “Change is inevitable.

cover image for 9783540266556
Product Description: This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development...read more
By Sandro Etalle (editor)

Paperback:

9783540266556 | Springer-Verlag New York Inc, August 15, 2005, cover price $99.00 | About this edition: This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation.

cover image for 9783540261650
Product Description: This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004...read more

Paperback:

9783540261650 | Springer-Verlag New York Inc, July 16, 2005, cover price $99.00 | About this edition: This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004.

cover image for 9783540251767
Product Description: Constraint programming is a very successful ?fth-generation software techn- ogy with a wide range of applications. It has attracted a large community of researchers that is particularly strong in Europe. In particular, constraint programming is the focus of the Working Group on Constraints of the European Research Consortium for Informatics and Mat- matics (ERCIM) as well as a major interest of the European Network on C- putational Logic (CoLogNET)...read more
By Francois Fages (editor), Boi Faltings (editor), Adrian Petcu (editor) and Francesca Rossi (editor)

Paperback:

9783540251767 | Revised edition (Springer Verlag, May 1, 2005), cover price $99.00 | About this edition: Constraint programming is a very successful ?

at beginning | displaying 1 to 25 | next 25 >