INFSYS R ESEARCH R EPORT INSTITUT FUR¨ INFORMATIONSSYSTEME ARBEITSBEREICH WISSENSBASIERTE SYSTEME 19TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT (INAP 2011) AND 25TH WORKSHOP ON LOGIC PROGRAMMING (WLP 2011) VIENNA,SEPTEMBER 28-30, 2011 PROCEEDINGS Salvador Abreu Johannes Oetsch Jorg¨ Puhrer¨ Dietmar Seipel Hans Tompits Masanobu Umeda Armin Wolf (eds.) Institut fur¨ Informationssysteme INFSYS RESEARCH REPORT 1843-11-06 Arbeitsbereich SEPTEMBER 2011 Wissensbasierte Systeme Technische Universitat¨ Wien Favoritenstraße 9-11 A-1040 Wien, Austria Tel: +43-1-58801-18405 Fax: +43-1-58801-18493 [email protected] www.kr.tuwien.ac.at INFSYS RESEARCH REPORT INFSYS RESEARCH REPORT 1843-11-06, SEPTEMBER 2011 PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT (INAP 2011) AND 25TH WORKSHOP ON LOGIC PROGRAMMING (WLP 2011) VIENNA,AUSTRIA, SEPTEMBER 28-30, 2011 Salvador Abreu, Johannes Oetsch, Jorg¨ Puhrer,¨ Dietmar Seipel, Hans Tompits, Masanobu Umeda, and Armin Wolf1 (Volume Editors) 1 Editors’ address: Salvador Abreu, Departamento de Informatica´ Universidade de Evora,´ R. Romao˜ Ramalho, 59, P-7000 Evora,´ Portugal, e-mail: [email protected]. Johannes Oetsch, Institut fur¨ Informationssysteme, Arbeitsbereich Wissensbasierte Systeme, Technische Universitat¨ Wien, Fa- voritenstraße 9-11, A-1040 Vienna, Austria, e-mail: [email protected]. Jorg¨ Puhrer,¨ Institut fur¨ Informationssysteme, Arbeitsbereich Wissensbasierte Systeme, Technische Universitat¨ Wien, Favoriten- straße 9-11, A-1040 Vienna, Austria, e-mail: [email protected]. Dietmar Seipel, Institut fur¨ Informatik, Julius-Maximilians-Universitat¨ Wurzburg,¨ Am Hubland, D-97074 Wurzburg,¨ Germany, e-mail: [email protected]. Hans Tompits, Institut fur¨ Informationssysteme, Arbeitsbereich Wissensbasierte Systeme, Technische Universitat¨ Wien, Fa- voritenstraße 9-11, A-1040 Vienna, Austria, e-mail: [email protected]. Masanobu Umeda, Department of Creative Informatics, Faculty of Computer Science and Systems Engineering, Kyushu Insti- tute of Technology, 680-4 Kawazu, Iizuka, Fukuoka, 820-8502, Japan, e-mail: [email protected]. Armin Wolf, Fraunhofer FIRST, Kekulestraße´ 7, D-12489 Berlin, Germany, e-mail: armin.wolf@first.fraunhofer.de. Copyright °c 2011 by the authors Preface This volume consists of the contributions presented at the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011), which were held at Hotel Castle Wilheminenberg, Vienna, Austria, from September 28 to 30, 2011. INAP is a communicative and dense conference for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The series of workshops on (constraint) logic programming brings together researchers interested in logic pro- gramming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria, Switzerland, and Egypt, serving as the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur¨ Logische Programmierung e.V.). Following the success of previous occasions, INAP and WLP were this year again jointly organised in order to promote the cross-fertilisation of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Both events received a total of 35 submissions from authors of 16 countries (Austria, Belgium, Canada, Czech Republic, Egypt, Finland, France, Germany, India, Italy, Japan, Lebanon, Portugal, Slovakia, Tunisia, and the United States). Each submission was assigned to three members of the PC for reviewing and 27 submissions were accepted for presentation. Besides technical contributions, the program includes also system descriptions and application papers. More specifically, for INAP, the program comprises nine technical contributions, two application papers, and four system descriptions, whilst the contributions for WLP constitute six research papers and five system descriptions. Additionally, the program includes also two invited talks, given by Stefan Szeider and Michael Fink (both from the Vienna University of Technology, Austria). In concluding, I would like to thank all authors for their submissions and all members of the program committee, as well as all additional referees, for the time and effort spent on the careful reviewing of the papers. Furthermore, special thanks go to the members of the organising committee, Johannes Oetsch, Jorg¨ Puhrer,¨ and Eva Nedoma, who were indispensable towards the realisation of the event. Last but not least, I am grateful to the Kurt-Godel-Society¨ for financially supporting the event. Excelsior! Vienna, September 2011 Hans Tompits, Conference Chair Organisation INAP 2011 Conference Chair Hans Tompits (Vienna University of Technology) Track Chairs Salvador Abreu (Universidade de Evora´ ) Dietmar Seipel (University of Wurzburg¨ ) Hans Tompits (Vienna University of Technology) Masanobu Umeda (Kyushu Institute of Technology) Armin Wolf (Fraunhofer FIRST) Program Committee Salvador Abreu (Universidade de Evora´ ) Jose´ Alferes (Universidade Nova de Lisboa) Sergio Alvarez (Boston College) Grigoris Antoniou (University of Crete) Marcello Balduccini (Kodak Research Labs) Chitta Baral (Arizona State University) Christoph Beierle (FernUniversitat¨ in Hagen) Philippe Besnard (Universite´ Paul Sabatier) Stefan Brass (University of Halle) Gerd Brewka (University of Leipzig) Philippe Codognet (University of Tokyo) Vitor Santos Costa (Universidade do Porto) James P. Delgrande (Simon Fraser University) Marc Denecker (Katholieke Universiteit Leuven) Marina De Vos (University of Bath) Daniel Diaz (University of Paris 1) Jurgen¨ Dix (Clausthal University of Technology) Esra Erdem (Sabanci University) Gerhard Friedrich (Alpen-Adria-Universitat¨ Klagenfurt) Michael Fink (Vienna University of Technology) Thom Fruhwirth¨ (University of Ulm) Johannes Furnkranz¨ (Technische Universitat¨ Darmstadt) Michael Gelfond (Texas Tech University) Carmen Gervet (German University in Cairo) Ulrich Geske (University of Potsdam) Gopal Gupta (University of Texas at Dallas) Petra Hofstedt (Brandenburg University of Technology Cottbus) Anthony Hunter (University College London) Katsumi Inoue (National Institute of Informatics) Tomi Janhunen (Aalto University) VI INFSYS RR 1843-11-06 Gabriele Kern-Isberner (University of Dortmund) Nicola Leone (University of Calabria) Vladimir Lifschitz (University of Texas at Austin) Alessandra Mileo (National University of Ireland) Ulrich Neumerkel (Vienna University of Technology) Ilkka Niemela¨ (Aalto University) Vitor Nogueira (Universidade de Evora´ ) David Pearce (Universidad Politecnica´ de Madrid) Reinhard Pichler (Vienna University of Technology) Axel Polleres (National University of Ireland) Enrico Pontelli (New Mexico State University) Irene Rodrigues (Universidade de Evora´ ) Carolina Ruiz (Worcester Polytechnic Institute) Torsten Schaub (University of Potsdam) Dietmar Seipel (University of Wurzburg¨ ) V.S. Subrahmanian (University of Maryland) Terrance Swift (Universidade Nova de Lisboa) Hans Tompits (Vienna University of Technology) Masanobu Umeda (Kyushu Institute of Technology) Kewen Wang (Griffith University) Emil Weydert (University of Luxembourg) Armin Wolf (Fraunhofer FIRST) Osamu Yoshie (Waseda University) WLP 2011 Program Chair Hans Tompits (Vienna University of Technology) Program Committee Slim Abdennadher (German University Cairo) Gerd Brewka (University of Leipzig) Christoph Beierle (FernUniversitat¨ in Hagen) Franc¸ois Bry (University of Munich) Marc Denecker (Katholieke Universiteit Leuven) Marina De Vos (University of Bath) Jurgen¨ Dix (Clausthal University of Technology) Esra Erdem (Sabanci University) Wolfgang Faber (University of Calabria) Michael Fink (Vienna University of Technology) Thom Fruhwirth¨ (University of Ulm) Carmen Gervet (German University in Cairo) Ulrich Geske (University of Potsdam) Michael Hanus (Christian-Albrechts-University of Kiel) Petra Hofstedt (Brandenburg University of Technology Cottbus) Steffen Holldobler¨ (Dresden University of Technology) Tomi Janhunen (Aalto University) Ulrich John (SIR Dr. John UG) PROCEEDINGS OF INAP 2011 AND WLP 2011 VII Gabriele Kern-Isberner (University of Dortmund) Alessandra Mileo (National University of Ireland) Axel Polleres (National University of Ireland) Torsten Schaub (University of Potsdam) Jan Sefranek (Comenius University) Dietmar Seipel (University of Wurzburg¨ ) Hans Tompits (Vienna University of Technology) Armin Wolf (Fraunhofer FIRST) Local Organisation Johannes Oetsch Jorg¨ Puhrer¨ Hans Tompits (Chair) Eva Nedoma (Secretary) Additional Referees Roland Kaminski Benjamin Kaufmann Thomas Krennwallner Johannes Oetsch Heiko Paulheim Raul´ Mazo Pena˜ Simona Perri Carla Piazza Jorg¨ Puhrer¨ Jon Sneyers Table of Contents Invited Talks Parameterized Complexity in Constraint Processing and Reasoning 1 Stefan Szeider (TU Wien) Recent Advancements in Nonmonotonic Multi-Context