INAP 2013

20th International Conference on Applications of Declarative Programming and Knowledge Management

Kiel, Germany, September 11-13, 2013

colocated with 27th Workshop on Logic Programming (WLP 2013)

part of the Kiel Declarative Programming Days 2013

Accepted Papers

Mário Abrantes and Luís Moniz Pereira An Abductive Paraconsistent Semantics -- MHp
Benny Höckner, Petra Hofstedt, Peter Sauer, Thilo Voertler and Thomas Hinze Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems
Thomas Eiter, Michael Fink, Thomas Krennwallner and Christoph Redl HEX-Programs with Existential Quantification
Guohua Liu, Tomi Janhunen and Ilkka Niemela Introducing Real Variables and MIP Objective Functions to Answer Set Programming
Mikus Vanags, Arturs Licis and Janis Justs Meta-set calculus as mathematical basis for creating abstract, structured data store querying technology
Gerald Berger and Hans Tompits On Axiomatic Rejection for the Description Logic ALC
Rana Awada, Pablo Barcelo and Iluju Kiringa Sharing and Exchanging Data
Ludwig Ostermayer, Geng Sun and Dietmar Seipel Simplifying Rules Creation Using Domain Specific Languages in Drools
Danny Munera, Daniel Diaz and Salvador Abreu Towards Parallel Constraint-Based Local Search with the X10 Language