Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / [electronic resource] :
edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.
- 1 online resource (XIII, 365 p. 67 ill.)
- Lecture Notes in Computer Science, 7773 0302-9743 ; .
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE.