Items related to Applications of Declarative Programming and Knowledge...

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

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

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642415234: Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, ... (Lecture Notes in Computer Science, 7773)

Featured Edition

ISBN 10:  3642415237 ISBN 13:  9783642415234
Publisher: Springer, 2013
Softcover