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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
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.
Keywords
- Constraint
- Debugging
- Natural
- agents
- artificial intelligence
- bioinformatics
- databases
- inference engine
- knowledge
- knowledge representation
- logic
- nonmonotonic reasoning
- program transformation
- software engineering
- verification
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, Compilers and Interpreters, Programming Techniques, Mathematics of Computing, Artificial Intelligence, Computer Science Logic and Foundations of Programming