Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, ... 28-30, 2011, Revised Selected Papers - Brossura

Brossura

ISBN 10: 3642415253 ISBN 13: 9783642415258

Casa editrice: Springer, 2013

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 3642415253
• ISBN 13: 9783642415258
• Rilegatura: Paperback
• Contatto del produttore: non disponibile