Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

This volume contains the proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in the World Heritage City of Porto, P- tugal, September 8–13, 2007. The conference was colocated with seven pre and post-conference workshops: – The 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) – The 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007) – Answer Set Programming: Advances in Theory and Implementation (ASP 2007) – The 4th Workshop on Constraint Handling Rules (CHR 2007) – The 7th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2007) – Workshop on Constraint Based Methods for Bioinformatics (WCB 2007) – The17thWorkshoponLogic-BasedMethodsinProgrammingEnvironments (WLPE 2007) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 74 submissions from 23 countries: Argentina (1), Australia (4), Belgium (6), Brazil (1), Canada (2), Finland (2), France (4), Germany (3), Greece (1), Hungary (2), India (1), Israel(1), Italy (13), The Netherlands (1), Poland(1), Portugal(10),Russia (2), Singapore (2), South Korea (1), Spain (6), the United Arab Emirates (1), the USA (7), and the UK (2). The ProgramCommittee selected 22 technical papers for presentation and inclusion in the proceedings. In addition, the program also included 15 poster presentations. Asinthepast,the ICLPProgramCommitteeselectedthebestpaperandthe best student paper.