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)

volume 5437, 2009

Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers INAP/WLP 5437 (2009)

2007

volume 3392, 2005

Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers INAP/WLP 3392 (2005)

2004