Abstract is missing.
- The IMPL Policy Language for Managing Inconsistency in Multi-Context SystemsThomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller. 3-26 [doi]
- The Parameterized Complexity of Constraint Satisfaction and ReasoningStefan Szeider. 27-37 [doi]
- Translating Nondeterministic Functional Language Based on Attribute Grammars into JavaMasanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine. 41-57 [doi]
- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal RanksRadim Belohlávek, Lucie Urbanova, Vilém Vychodil. 58-76 [doi]
- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive DatabasesAndreas Behrend. 77-92 [doi]
- Translating Answer-Set Programs into Bit-Vector LogicMai Nguyen, Tomi Janhunen, Ilkka Niemelä. 95-113 [doi]
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsWolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran. 114-133 [doi]
- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical UsersKatsumi Inoue, Chiaki Sakama, Lena Wiese. 134-151 [doi]
- Every Formula-Based Logic Program Has a Least Infinite-Valued ModelRainer Lüdecke. 155-172 [doi]
- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic ProgrammingChristoph Beierle, Gabriele Kern-Isberner, Karl Södler. 175-192 [doi]
- A Descriptive Approach to Preferred Answer SetsJán Sefránek, Alexander Simko. 195-214 [doi]
- Solving Modular Model Expansion: Case StudiesShahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska. 215-236 [doi]
- FdConfig: A Constraint-Based Interactive Product ConfiguratorDenny Schneeweiss, Petra Hofstedt. 239-255 [doi]
- dynPARTIX - A Dynamic Programming Reasoner for Abstract ArgumentationWolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran. 259-268 [doi]
- HEX-Programs with Nested Program CallsThomas Eiter, Thomas Krennwallner, Christoph Redl. 269-278 [doi]
- A Prototype of a Knowledge-Based Programming EnvironmentStef De Pooter, Johan Wittocx, Marc Denecker. 279-286 [doi]
- Computing with Logic as Operator Elimination: The ToyElim SystemChristoph Wernhard. 289-296 [doi]
- Coprocessor - a Standalone SAT PreprocessorNorbert Manthey. 297-304 [doi]
- The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary ReportJohannes Oetsch, Jörg Pührer, Hans Tompits. 305-324 [doi]
- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsChristian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits. 325-344 [doi]
- Unit Testing in ASPIDEOnofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca. 345-364 [doi]