Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

19. INAP / 25. WLP 2011: Vienna, Austria

> Home > Conferences and Workshops > INAP
> Home > Conferences and Workshops > WLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/inap/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/2011
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf:
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. Lecture Notes in Computer Science 7773, Springer 2013, ISBN 978-3-642-41523-4

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/inap/EiterFIS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/EiterFIS11
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. 3-26
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Szeider11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Szeider11
Stefan Szeider:
The Parameterized Complexity of Constraint Satisfaction and Reasoning. 27-37

INAP Technical Papers I: Languages

- view
  authority control:
- export record
  dblp key:
  - conf/inap/UmedaNSK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/UmedaNSK11
Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine:
Translating Nondeterministic Functional Language Based on Attribute Grammars into Java. 41-57
- view
  authority control:
- export record
  dblp key:
  - conf/inap/BelohlavekUV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/BelohlavekUV11
Radim Belohlávek, Lucie Urbanova, Vilém Vychodil:
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. 58-76
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Behrend11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Behrend11
Andreas Behrend:
A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. 77-92

INAP Technical Papers II: Answer-Set Programming and Abductive Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/inap/NguyenJN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/NguyenJN11
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä:
Translating Answer-Set Programs into Bit-Vector Logic. 95-113
- view
  authority control:
- export record
  dblp key:
  - conf/inap/DvorakGWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/DvorakGWW11
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran:
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. 114-133
- view
  authority control:
- export record
  dblp key:
  - conf/inap/InoueSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/InoueSW11
Katsumi Inoue, Chiaki Sakama, Lena Wiese:
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. 134-151

INAP Technical Papers III: Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Ludecke11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Ludecke11
Rainer Lüdecke:
Every Formula-Based Logic Program Has a Least Infinite-Valued Model. 155-172

WLP Technical Papers I: Constraints and Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/inap/BeierleKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/BeierleKS11
Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. 175-192

WLP Technical Papers II: Answer-Set Programming and Model Expansion

- view
  authority control:
- export record
  dblp key:
  - conf/inap/SefranekS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/SefranekS11
Ján Sefránek, Alexander Simko:
A Descriptive Approach to Preferred Answer Sets. 195-214
- view
  authority control:
- export record
  dblp key:
  - conf/inap/TasharrofiWT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/TasharrofiWT11
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska:
Solving Modular Model Expansion: Case Studies. 215-236

INAP Application Papers

- view
  authority control:
- export record
  dblp key:
  - conf/inap/SchneeweissH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/SchneeweissH11
Denny Schneeweiss, Petra Hofstedt:
FdConfig: A Constraint-Based Interactive Product Configurator. 239-255

INAP System Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/inap/DvorakMNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/DvorakMNW11
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran:
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. 259-268
- view
  authority control:
- export record
  dblp key:
  - conf/inap/EiterKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/EiterKR11
Thomas Eiter, Thomas Krennwallner, Christoph Redl:
HEX-Programs with Nested Program Calls. 269-278
- view
  authority control:
- export record
  dblp key:
  - conf/inap/PooterWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/PooterWD11
Stef De Pooter, Johan Wittocx, Marc Denecker:
A Prototype of a Knowledge-Based Programming Environment. 279-286

WLP System Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Wernhard11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Wernhard11
Christoph Wernhard:
Computing with Logic as Operator Elimination: The ToyElim System. 289-296
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Manthey11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Manthey11
Norbert Manthey:
Coprocessor - a Standalone SAT Preprocessor. 297-304
- view
  authority control:
- export record
  dblp key:
  - conf/inap/OetschPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/OetschPT11
Johannes Oetsch, Jörg Pührer, Hans Tompits:
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. 305-324
- view
  authority control:
- export record
  dblp key:
  - conf/inap/KloimullnerOPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/KloimullnerOPT11
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. 325-344
- view
  authority control:
- export record
  dblp key:
  - conf/inap/FebbraroLRR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/FebbraroLRR11
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. 345-364

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.