Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Авторы: Etalle S., Truszczynski M.
Аннотация:
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006.
The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.