INAP/WLP

Keyphrases

Publications

volume 7773, 2013

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 INAP/WLP 7773 (2013)

2011

Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor. INAP/WLP (2011)
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System. INAP/WLP (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. INAP/WLP (2011)
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP (2011)
Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine
Translating Nondeterministic Functional Language Based on Attribute Grammars into Java. INAP/WLP (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. INAP/WLP (2011)
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. INAP/WLP (2011)
Stefan Szeider
The Parameterized Complexity of Constraint Satisfaction and Reasoning. INAP/WLP (2011)
Rainer Lüdecke
Every Formula-Based Logic Program Has a Least Infinite-Valued Model. INAP/WLP (2011)
Andreas Behrend
A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. INAP/WLP (2011)
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. INAP/WLP (2011)
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä
Translating Answer-Set Programs into Bit-Vector Logic. INAP/WLP (2011)
Ján Sefránek, Alexander Simko
A Descriptive Approach to Preferred Answer Sets. INAP/WLP (2011)
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
Solving Modular Model Expansion: Case Studies. INAP/WLP (2011)
Denny Schneeweiss, Petra Hofstedt
FdConfig: A Constraint-Based Interactive Product Configurator. INAP/WLP (2011)
Katsumi Inoue, Chiaki Sakama, Lena Wiese
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. INAP/WLP (2011)
Stef De Pooter, Johan Wittocx, Marc Denecker
A Prototype of a Knowledge-Based Programming Environment. INAP/WLP (2011)
Thomas Eiter, Thomas Krennwallner, Christoph Redl
HEX-Programs with Nested Program Calls. INAP/WLP (2011)
Christoph Beierle, Gabriele Kern-Isberner, Karl Södler
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP (2011)
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
Unit Testing in ASPIDE. INAP/WLP (2011)
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. INAP/WLP (2011)