WLP 2011 25th Workshop on Logic Programming Co-located with INAP 2011
Important Dates
Paper registration:
July 8, 2011 (NEW!)
July 8, 2011 (NEW!)
Submission of papers:
July 15, 2011 (EXTENDED!)
July 15, 2011 (EXTENDED!)
Notification of acceptance:
August 12, 2011 (EXTENDED!)
August 12, 2011 (EXTENDED!)
Camera-ready papers:
August 29, 2011 (EXTENDED!)
August 29, 2011 (EXTENDED!)
Early registration deadline:
September 12, 2011
September 12, 2011
Workshop:
September 28-30, 2011
September 28-30, 2011
Program
Wednesday, September 28
| 10:00-10:50 | Registration and Welcome Coffee |
| 10:50-11:00 | Opening |
| 11:00-12:00 | WLP Technical Session I: Constraints and Logic Programming (Chair: François Bry) |
| 11:00-11:30 | Bernd Brassel, Michael Hanus, Björn Peemöller, and Fabian Reck: Implementing Equational Constraints in a Functional Language |
| 11:30-12:00 | Monika Adamova and Jan Sefranek: Transfer of semantics from argumentation frameworks to logic programming |
| 12:00-13:00 | Lunch |
| 13:00-14:30 | INAP Technical Session I: Languages (Chair: Dietmar Seipel) |
| 13:00-13:30 | Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, and Keiichi Katamine: Translating Nondeterministic Functional Language based on Attribute Grammars into Java |
| 13:30-14:00 | Radim Belohlavek, Lucie Urbanova, and Vilem Vychodil: Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks |
| 14:00-14:30 | Andreas Behrend: A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases |
| 14:30-15:00 | Coffee Break |
| 15:00-16:40 | Joint INAP/WLP System Descriptions I (Chair: Masanobu Umeda) |
| 15:00-15:20 | Wolfgang Dvorak, Michael Morak, Clemens Nopp, and Stefan Woltran: dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation |
| 15:20-15:40 | Thomas Eiter, Thomas Krennwallner, and Christoph Redl: Nested HEX-Programs |
| 15:40-16:00 | Markus Triska: Domain-specific Languages in a Finite Domain Constraint Programming System |
| 16:00-16:20 | Christoph Wernhard: Computing with Logic as Operator Elimination: The ToyElim System |
| 16:20-16:40 | Norbert Manthey: Coprocessor - a standalone SAT preprocessor |
| 17:00-18:00 | GLP Meeting |
Thursday, September 29
| 09:30-10:30 | Invited Talk I (Chair: Hans Tompits) |
| Stefan Szeider (TU Wien): Parameterized Complexity in Constraint Processing and Reasoning | |
| 10:30-11:00 | Coffee Break |
| 11:00-12:30 | INAP Technical Session II: Answer-Set Programming and Abductive Reasoning (Chair: Jörg Pührer) |
| 11:00-11:30 | Mai Nguyen, Tomi Janhunen, and Ilkka Niemelä: Translating Answer-Set Programs into Bit-Vector Logic |
| 11:30-12:00 | Wolfgang Dvorak, Sarah Alice Gaggl, Johannes Wallner, and Stefan Woltran: Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems |
| 12:00-12:30 | Lena Wiese, Katsumi Inoue, and Chiaki Sakama: Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction |
| 12:30-13:30 | Lunch |
| 13:30-14:50 | Joint INAP/WLP System Descriptions II (Chair: Michael Hanus) |
| 13:30-13:50 | Johannes Oetsch, Jörg Pührer, and Hans Tompits: The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report |
| 13:50-14:10 | Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, and Hans Tompits: Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs |
| 14:10-14:30 | Onofrio Febbraro, Nicola Leone, Kristian Reale, and Francesco Ricca: Unit Testing in ASPIDE |
| 14:30-14:50 | Stef De Pooter, Johan Wittocx and Marc Denecker: A prototype of a knowledge-based programming environment |
| 14:50-15:20 | Coffee Break |
| 15:20-15:50 | INAP Application Papers I (Chair: Johannes Oetsch) |
| Islam Abdelraouf, Slim Abdennadher, and Carmen Gervet: A Visual Entity-Relationship Model for Constraint-Based University Timetabling | |
| 17:00-18:00 | Excursion to Ottakringer Brewery |
| 19:00 | Conference Dinner |
| 09:30-10:30 | Invited Talk II (Chair: Hans Tompits) |
| Michael Fink (TU Wien):
Recent Advancements in Nonmonotonic Multi-Context Systems | |
| 10:30-11:00 | Coffee Break |
| 11:00-12:30 | WLP Technical Session II: Answer-Set Programming and Model Expansion (Chair: Tomi Janhunen) |
| 11:00-11:30 | Jan Sefranek and Alexander Simko: Warranted derivations of preferred answer sets |
| 11:30-12:00 | Yuliya Lierler and Peter Schüller: Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report |
| 12:00-12:30 | Shahab Tasharrofi, Xiongnan Newman Wu and Eugenia Ternovska: Solving Modular Model Expansion Tasks |
| 12:30-13:30 | Lunch |
| 13:30-14:00 | INAP Application Papers II (Chair: Peter Schüller) |
| Denny Schneeweiss and Petra Hofstedt: FdConfig: A constraint-based interactive product configurator | |
| 14:00-15:30 | INAP Technical Session III: Semantics (Chair: Peter Schüller) |
| 14:00-14:30 | Alexandre Miguel Pinto and Luis Moniz Pereira: Each normal logic program has a 2-valued Minimal Hypotheses semantics |
| 14:30-15:00 | Rainer Lüdecke: Every Formula-Based Logic Program Has a Least Infinite-Valued Model |
| 15:00-15:30 | Pashootan Vaezipoor, David Mitchell, and Maarten Mariën: Lifted Unit Propagation for Effective Grounding |
| 15:30-16:00 | Farewell Coffee |
