ENGLISH

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

By Nachum Dershowitz (auth.) , Bart Demoen , Vladimir Lifschitz (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
9783540226710, 3540226710
DOI
10.1007/b99475
Open Library ID
OL9451450M
Language
english
Format
PDF
Filesize
9 MB (9009213 bytes)
Series
Lecture Notes in Computer Science 3132
Edition
1
Pages
484\493
Time added
2009-08-06 05:14:26
CompilersInterpreters; Logics and Meanings of Programs; MatProgramming Techniques; Artificial Intelligence (i

Description

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

Similar books