Dear Colleague, Please note that ICLP 2005 registration is now open. In fact, the early registration deadline is not too far (July 31st). More details can be found at the ICLP 2005 website: http://www.iiia.csic.es/iclp2005/ Highlights include invited talks by Ian Horrocks, Peter Stuckey, Francesca Rossi, a tutorial on "Inductive Logic Programmng, Statistical Relational Learning and its applications" by Vitor Santos Costa, contributed papers, posters, programming competition, panels, conference workshops, and of course the Solar Eclipse that will take place during the conference and will be visible in Barcelona (time has been set aside during the conference to view the eclipse). We look forward to seeing all of you in Barcelona. Best wishes, Gopal Gupta and Maurizio Gabbrielli ---------------------------------------------------------------------- LIST OF ACCEPTED PAPERS: ---------------------- Full papers (26 papers) ----------------------- Use of Logic Programming for Complex Business Rules Walter Wilson Semantics of Framed Temporal Logic Programs Zhenhua Duan, Xiaoxiao Yang and Maciej Koutny. On the relation between Answer Set and SAT procedures (or, between smodels and cmodels) Enrico Giunchiglia and Marco Maratea. HYPROLOG: a new logic programming language with assumptions and abduction Henning Christiansen and Veronica Dahl. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization Jose Morales, Manuel Carro, German Puebla and Manuel Hermenegildo. Nondeterminism Analysis of Functional Logic Programs Bernd Brabel and Michael Hanus. Testing for Termination with Size Change Graphs Michael Codish, Vitaly Lagoon and Peter Stuckey. Towards an Integration of Answer Set and Constraint Solving Sabrina Baselice, Piero A. Bonatti and Michael Gelfond. Symbolic Support Graph: A Space Efficient Data Structure For Incremental Tabled Evaluation Diptikalyan Saha and C. R. Ramakrishnan. Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming Hans Tompits and Stefan Woltran. Hybrid Probabilistic Logic Programs With Non-monotonic Negation Emad Saad and Enrico Pontelli. Reducing Inductive Definitions to Propositional Satisfiability Nikolay Pelov and Eugenia Ternovska. A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems Agostino Dovier, Andrea Formisano and Enrico Pontelli. A Well-Founded Semantics with Disjunction Joao Alcantara, Carlos Damasio and Luis Moniz Pereira. An optimised Semantic Web query language implementation in Prolog Jan Wielemaker. Practical Higher-Order Pattern Unification via On-the-Fly Raising Gopalan Nadathur and Natalie Linnell. Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs Ricardo Rocha, Fernando Silva and Vitor Santos Costa. Small proof witnesses for LF Susmit Sarkar, Brigitte Pientka and Karl Crary. Guard and Continuation Optimization for Occurrence Representations of CHR Jon Sneyers, Tom Schrijvers and Bart Demoen. Abduction of Linear Arithmetic Constraints Michael Maher. Coordination of Many Agents Joxan Jaffar, Roland Yap and Kenny Zhu. Parallelizing Union-Find in Constraint Handling Rules Using Confluence Thom Fruehwirth. Luca Bortolussi and Herbert Wiklicky. A Distributed and Probabilistic Concurrent Constraint Programming Language Deductive Multi-valued Model Checking Ajay Mallya. Techniques for Scaling Up Analyses Based on Pre-Interpretations John P. Gallagher, Kim Henriksen and Gourinath Banda. Polynomial Interpretations as a Basis for Termination An Manh Thang Nguyen and Danny De Schreye. ----------------------------- Accepted posters (18 posters) ----------------------------- Inconsistency-based Strategy For Clarifying Vague Software Requirements Kedian Mu, Zhi Jin and Ruqian Lu. A Type System for CHR Emmanuel Coquery and Francois Fages. Decision Support for Personalization on Mobile Devices Thomas Kleemann and Alex Sinner. Algorithms for FO(ID) model generation Maarten Marikn, Rudradeb Mitra and Marc Denecker. Abstract Interpretation with Specialized Definitions German Puebla, Elvira Albert and Manuel Hermenegildo. Induction of causal ramifications for action descriptions in ASP Ramon Otero. The need for Ancestor Resolution when answering queries in Horn Clause Logic Oliver Ray. Modeling Systems in CLP with Coinductive Tabling Joxan Jaffar, Andrew Edward Santosa and Razvan Voicu. A Sufficient Condition for Strong Equivalence under the Well-Founded Semantics Chistos Nomikos, Panos Rondogiannis and William Wadge. Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary Tom Schrijvers. IMPACT: Innovative Models for Prolog with Advanced Control and Tabling Ricardo Rocha, Ricardo Lopes, Fernando Silva and Vitor Santos Costa. Using CLP to characterise linguistic lattice boundaries in a text mining process Alexandre Saidi. Hybridization of Genetic Algorithms and Constraint Propagation for the BACP Tony Lambert, Carlos Castro, Eric Monfroy, Maria Cristina Riff and Fridiric Saubion. The MYDDAS Project: Using a Deductive Database for Traffic Characterization Michel Ferreira. Open World Reasoning in Datalog Gergely Lukacsy and Zsolt Nagy. Optimizing Queries for Heterogeneous Information Sources Andras Gyvrgy Bikis. Denotational semantics using Horn Concurrent Transaction Logic Marcus Santos. Gentra4cp: a Generic Trace Format for Constraint Programming Ludovic Langevine and The OADymPPaC team.