Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5649)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): ICLP: International Conference on Logic Programming
Conference proceedings info: ICLP 2009.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (64 papers)
-
Front Matter
-
Implementation II
About this book
This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.
Editors and Affiliations
-
School of Computing, University of Leeds, Leeds, UK
Patricia M. Hill
-
Deptartment of Computer Science, Stony Brook University, Stony Brook, USA
David S. Warren
Bibliographic Information
Book Title: Logic Programming
Book Subtitle: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Editors: Patricia M. Hill, David S. Warren
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-02846-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-02845-8Published: 24 June 2009
eBook ISBN: 978-3-642-02846-5Published: 24 July 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 564
Topics: Theory of Computation, Programming Languages, Compilers, Interpreters, Programming Techniques, Mathematics of Computing, Artificial Intelligence, Logics and Meanings of Programs