Sunday, 25th August 2013
18:30 - 20:00 Welcome Reception in the Armada Hotel, Pool Café Area (lobby floor)

All ICLP plenary sessions are in room Barbaros;
parallel sessions  are in room Barbaros and room Reis.

Monday, 26th August 2013
08:00 - 18:00 Registration
08:45 - 09:00 ICLP2013 opening
ICLP 2013 is officially opened by ___ (to be defined)
09:00 - 10:00 Invited talk I
Pascal Hitzler. Recent advances concerning OWL and Rules
  Session 1: Datalog and Databases
10:00 - 10:30 Mirjana Mazuran, Edoardo Serra and Carlo Zaniolo. A Declarative Extension of Horn Clauses, and its Significance for Datalog and its Applications
10:30 - 11:00 Georg Gottlob, Marco Manna and Andreas Pieris. Combining Decidability Paradigms for Existential Rules
11:00 - 11:30 Coffee Break
  Session 2: Semantics
11:30 - 12:00 Vladimir Lifschitz and Fangkai Yang. Lloyd-Topor Completion and General Stable Models
12:00 - 12:30 Jia-Huai You, Heng Zhang and Yan Zhang. Disjunctive Logic Programs with Existential Quantification in Rule Heads
12:30 - 13:00 Michael Bartholomew and Joohyung Lee. On the Stable Model Semantics with Intensional Functions
13:00 - 14:30 Lunch Break
  Session 3: Analysis
14:30 - 15:00 Alejandro Arbelaez, Philippe Codognet and Charlotte Truchet. Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
15:00 - 15:30 Senlin Liang and Michael Kifer. A Practical Analysis of Non-Termination in Large Logic Programs
15:30 - 16:00 Sergio Greco, Cristian Molinaro and Irina Trubitsyna. Logic Programming with Function Symbols: Checking Termination of Bottom-up Evaluation Through Program Adornments
16:00 - 16:30 Coffee Break
  Session 3 (cont.): Analysis
16:30 - 17:00 Elvira Albert, Maria Garcia de La Banda, Miguel Gomez-Zamalloa, José Miguel Rojas and Peter Stuckey. A CLP Heap Solver for Test Case Generation
17:00 - 17:30 Best Doctoral Consortium Presentation
17:30 - 18:30 ALP meeting
Tuesday, 27th August 2013 (with TechComm sessions listed)
09:00 - 10:00 Invited talk II
Torsten Schaub. Experiencing Answer Set Programming at Work, Today and Tomorrow
  Session 4: ASP & solvers
10:00 - 10:30 Rehan Aziz, Geoffrey Chu and Peter Stuckey. Stable Model Semantics for Founded Bounds
10:30 - 11:00 Mario Alviano and Rafael Peñaloza. Fuzzy answer sets approximations
11:00 - 11:30 Coffee Break
  Session 5: Non-Monotonic Reasoning & Knowledge Representation
11:30 - 12:00 Michael Maher. Relative Expressiveness of Defeasible Logics II
12:00 - 12:30 Jon Sneyers, Daniel De Schreye and Thom Fruehwirth. Probabilistic Legal Reasoning in CHRiSM
12:30 - 13:00 Rolf Schwitter. The Jobs Puzzle: Taking on the Challenge via Controlled Natural Language Processing
13:00 - 14:15 Lunch Break
  ICLP Technical communications - Parallel sessions
14:15 - 16:00 TechComm 1: Knowledge Representation & Reasoning, Events and Actions
Dimitar Shterionov, Theofrastos Mantadelis and Gerda Janssens. Pattern-Based Compaction for ProbLog Inference
Lenz Belzner. Action Programming In Rewriting Logic
Ana Sofia Gomes and Jose Julio Alferes. Extending Transaction Logic with External Actions
Dalal Alrajeh, Rob Miller, Alessandra Russo and Sebastian Uchitel. Reasoning about Triggered Scenarios in Logic Programming
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt and Marc Denecker. The effects of buying a new car: an extension of the IDP Knowledge Base System
Paulo Shakarian, Gerardo Simari and Devon Callahan. Reasoning about Complex Networks: A Logic Programming Approach
Viviana Mascardi and Davide Ancona. Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems
14:15 - 16:00 TechComm 2: Analysis & Transformation, Constraint Processing & SAT
Alejandro Serrano, Pedro Lopez-Garcia, Francisco Bueno and Manuel Hermenegildo. Sized Type Analysis for Logic Programs
Lunjin Lu. Towards Parametrizing Logic Program Analysis: Two Examples
Amira Zaki, Thom Fruehwirth and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules
Michael Hanus. Adding Plural Arguments to Curry Perograms
Vivek Nigam, Giselle Reis and Leonardo Lima. Checking Proof Transformations with ASP
Said Jabbour, Lakhdar Sais and Yakoub Salhi. A Pigeon-Hole Based Encoding of Cardinality Constraints
Amir Aavani, Eugenia Ternovska and David Mitchell. Problem Solving with the Enfragmo System
16:00 - 16:30 Coffee Break
  ICLP Technical communications - Parallel sessions
16:30 - 18:00 TechComm 3: ASP-based Systems, Systems & Tools
Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne. Combining Answer Set Programs for Adaptive and Reactive Reasoning
Arne Koenig and Torsten Schaub. Monitoring and Visualizing Answer Set Solving
Jianmin Ji, Fangzhen Lin and Jia-Huai You. Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms
Saadat Anwar, Chitta Baral and Katsumi Inoue. Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Marcello Balduccini and Yuliya Lierler. Integration Schemas for Constraint Answer Set Programming: a Case Study
Edison Mera and Jan Wielemaker. Porting and refactoring Prolog programs: the PROSYN case study
16:30 - 18:00 TechComm 4: Datalog & Databases, Non-Monotonic Reasoning, Semantics
Werner Nutt, Sergey Paramonov and Ognjen Savkovic. An ASP Approach to Query Completeness Reasoning
Vinay Chaudhri, Stijn Heymans, Son Tran and Michael Wessel. Object-Oriented Knowledge Bases in Logic Programming
Claudia Schulz and Francesca Toni. ABA-Based Answer Set Justification
Ari Saptawijaya and Lui¬s Moniz Pereira. Tabled Abduction in Logic Programs
Vernon Asuncion, Yan Zhang, Heng Zhang and Yi Zhou. Constructive Circumscription
Davide Ancona and Agostino Dovier. co-LP: Back to the Roots
18:15 - 20:15 Prolog Programming Contest
Wednesday, 28th August 2013
09:00 - 10:00 Invited talk III
Hans van Ditmarsch. Dynamic Epistemic Logic and Lying
  Session 6: Knowledge Representation & Reasoning
10:00 - 10:30 Broes De Cat and Maurice Bruynooghe. Detection and Exploitation of Functional Dependencies For Model Generation
10:30 - 13:00 Joachim Jansen, Gerda Janssens and Albert Jorissen. Compiling Input ∗ FO(•) Inductive Definitions into Tabled Prolog Rules for IDP3
11:00 - 11:30 Coffee Break
11:30 - 13:00 The most influential ICLP papers from 10 and 20 years ago
13:00 - 14:30 Lunch Break
  Session 7: Applications
14:30 - 15:00 Roland Kaminski, Torsten Schaub, Anne Siegel and Santiago Videla. Minimal Intervention Strategies in Logical Signaling Networks with Answer Set Programming
15:00 - 15:30 Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub. Answer Set Programming as a Modeling Language for Course Timetabling
15:30 - 16:00 Esra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur, Peter Schüller and Tansel Uras. Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach
16:00 - 16:30 Coffee Break
  Session 8: Implementations
16:30 - 17:00 Tom Schrijvers, Bart Demoen, Benoit Desouter and Jan Wielemaker. Delimited Continuations for Prolog
17:00 - 17:30 Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard and Peter J. Stuckey. Failure Tabled Constraint Logic Programming by Interpolation
17:30 - 18:00 Paul Tarau. Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Goedel Numberings)
19:00 Departure from the Armada Hotel towards a boat on the Bosphorus for
Conference banquet
Banquet speaker: Vladimir Lifschitz
Thursday, 29th August 2013
09:00 - 10:00 Invited talk IV
C. R. Ramakrishnan. Probabilistic Tabled Logic Programming with Application to Model Checking
  Session 9: Multi-Agent Systems & Business Processes
10:00 - 10:30 Jiefei Ma, Frank Le, David Wood, Alessandra Russo and Jorge Lobo. A declarative approach for distributed computing: specification, execution and analysis
10:30 - 11:00 Laura Giordano, Alberto Martelli, Matteo Spiotta and Daniele Theseider Dupre'. Business Process Verification with Constraint Temporal Answer Set Programming
11:00 - 11:30 Coffee Break
  Session 10: Systems & Tools
11:30 - 12:00 Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky and Hans Tompits. SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support
12:00 - 12:30 Marcello Balduccini. ASP with non-Herbrand Partial Functions: a Language and System for Practical Use
12:30 - 13:00 Vítor Santos Costa and David Vaz. BigYAP: Exo-compilation meets UDI
13:00 ICLP Close
Association for Logic Programming Global Micro Lending Initiative Sabancý University Writers Guild of American Economics IEEE Presidents' Change the World Competition