INAP 2011 19th International Conference on Applications
of Declarative Programming
and Knowledge Management
Co-located with WLP 2011

Important Dates


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

Friday, September 30

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