Program

Tuesday, July 14th

07:30-08.30 Breakfast

08:25-08:30 Welcome

08:30-09:30 Invited Talk: Chris Mungall (Chair: Patricia Hill)
        Experiences using logic programming in bioinformatics

09:30-10:20 Technical Session 1: Best Papers (Chair: David Warren)

• Matthias Broecheler, Gerardo Simari and V.S. Subrahmanian. Using Histograms to Better Answer Queries to Probabilistic Logic Programs
• Henning Christiansen and John Gallagher. Non-discriminating Arguments and their Uses

10:20- 10:50 Coffee break

10:50- 12:40 Tutorial: Jan Wielemaker (Chair: Andy King)
        Enabling serendipitous search on the Web of Data using Prolog.

12:40- 14:40 Lunch break

14:40- 15:55 Technical Session 2: Applications (Chair:Thom Frühwirth)

• Henning Christiansen and Ole Torp Lassen. Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
• Phan Minh Dung, Do Duc Hanh and Phan Minh Thang. Stabilization of Information Sharing for Queries Answering in Multiagent Systems
• Tran Cao Son, Enrico Pontelli and Chiaki Sakama. Logic Programming for Multiagent Planning with Negotiation

15:55- 16:25 Coffee break

16:25- 17.55 Short Paper Presentations (Chair: Patricia Hill)

18.00- 19.00 ALP (Association for Logic Programming) General Meeting

Wednesday, July 15th

08:30-09:30 Invited Talk: Marc Denecker (Chair: Mirek Truszczynski)
        A Knowledge Base System project for FO(.)

09:30-10:20 Technical Session 3: Implementation (ASP) (Chair: Torsten Schaub)

• Alessandro Dal Palu, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi. Answer Set Programming with Constraints using Lazy Grounding
• Xiaoping Chen, Jianmin Ji and Fangzhen Lin. Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs

10:20- 10:50 Coffee break

10:50- 12:40 Tutorial: Andy King (Chair: Terrance Swift)
        Untangling Reverse Engineering with Logic and Abstraction

12:40- 14:40 Lunch break

14:40- 15:55 Technical Session 4: Theory (ASP) (Chair: Esra Erdem)

• Minh Dao-Tran, Thomas Eiter, Michael Fink and Thomas Krennwallner. Modular Nonmonotonic Logic Programming Revisited
• James Delgrande, Torsten Schaub, Hans Tompits and Stefan Woltran. Merging Logic Programs under Answer Set Semantics
• Mirek Truszczynski. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

15:55- 16:25 Coffee break

16:25- 17:40 Technical Session 5: Implementation (Tabling), Analysis (Chair: Joxan Jaffar)

• Pablo Chico de Guzmán, Manuel Carro and Manuel Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings
• Jorge Costa, João Raimundo and Ricardo Rocha. A Term-Based Global Trie for Tabled Logic Programs
• Dean Voets and Daniel De Schreye. A new approach to non-termination analysis of Logic Programs

18.00- 20.00 Prolog Programming Contest (Chair: Tom Schrijvers)

Thursday, July 16th

08:30-09:30 Invited Talk: Paulo Moura (Chair: David Warren)
        From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse

09:30-10:20 Technical Session 6: CLP (ASP) (Chair: Agostino Dovier)

• Martin Gebser, Max Ostrowski and Torsten Schaub. Constraint Answer Set Solving
• Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub. On the Implementation of Weight Constraint Rules in Conflict-driven ASP Solvers

10:20- 10:50 Coffee break

10:50- 12:40 Tutorial: Mireille Ducasse (Chair: Patricia Hill)
        (C)LP tracing and debugging

12:40- 14:40 Lunch break

14:40- 15:55 14:40- 15:55 Technical Session 7: System and Tool (Chair: Mireille Ducasse)

• Michael Ashley-Rollman, Padmanabhan Pillai, Seth Goldstein, Peter Lee and Jason Campbell. Meld: A Language for Programming Large Ensembles of Independently Executing Nodes
• Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
• Johan Wittocx, Hanne Vlaeminck and Marc Denecker. Debugging for Model Expansion

15:55- 16:25 Coffee break

16:25- 17:40 Technical Session 8: Application (ASP) (Chair: Haifeng Guo)

• Torsten Schaub and Sven Thiele. Metabolic Network Expansion with Answer Set Programming
• Thomas Eiter, Esra Erdem, Halit Erdogan and Michael Fink. Finding Similar or Diverse Solutions in Answer Set Programming
• Michael Thielscher. Answer Set Programming for Single-Player Games in General Game Playing

19.30--     Banquet

Friday, July 17th

08:30-09:30 Invited Talk: Taisuke Sato (Chair: Neng-Fa Zhou)
        Generative Modeling by PRISM

09:30-10:20 Technical Session 9: Implementation (Indexing) (Chair: Ricardo Rocha)

• Beata Sarna-Starosta and Tom Schrijvers. Attributed Data for CHR Indexing
• David Vaz, Vítor Santos Costa and Michel Ferreira. User Defined Indexing

10:20- 10:50 Coffee break

10:50- 12:40 Tutorial: Luc de Raedt (Chair: John Gallagher)
        Probabilistic Logic Learning

12:40- 14:40 Lunch break

14:40- 15:55 Technical Session 10: CLP, CCP (Chair: Frank Valencia)

• Marco Gavanelli, Marco Alberti and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF
• Neng-Fa Zhou. Encoding Table Constraints in CLP(FD) Based on Pair-wise AC
• Thomas Hildebrandt and Hugo Andres Lopez. Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

15:55- 16:25 Coffee break

16:25- 17:40 Technical Session 11: Probability, Uncertainty (Chair: Enrico Pontelli)

• Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor and Senlin Liang. Logic Programming with Defaults and Argumentation Theories
• Rafael Caballero, Mario Rodríguez-Artalejo and Carlos A. Romero-Díaz. Qualified Computations in Functional Logic Programming
• Steffen Hölldobler and Carroline Kencana Ramli. Logic Programs under Three-Valued Lukasiewicz Semantics