SPONSORS
| 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; |
|
| 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 |
www.dekon.com.tr