Accepted Papers

Rafael Caballero, Mario Rodriguez Artalejo, and Rafael del Vado Virseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

Susanne Grell, Torsten Schaub, and Joachim Selbig
Modelling biological networks by action languages via answer set programming

Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, and Maurice Bruynooghe
Predicate Introduction under Stable and Well-founded Semantics

Hugo Lopez, Catuscia Palamidessi, Jorge A. Perez, Camilo Rueda, and Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming

Elvira Albert, Puri Arenas, German Puebla, and Manuel Hermenegildo
Reduced Certificates for Abstraction-Carrying Code

Martin Brain, Tom Crick, Marina De Vos, and John Fitch
TOAST: Applying Answer Set Programming to Superoptimisation

Sergio Antoy, Michael Hanus
Overlapping Rules and Logic Variables in Functional Logic Programs

Luis Quintano, Irene Rodrigues
Using a Logic Programming framework to Control Database Query Dialogues in Natural Language

Diptikalyan Saha, C.R. Ramakrishnan
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

Xuan Li, Andy King, and Lunjin Lu
Collapsing Closures

Hai-Feng Guo, Miao Liu, and Bharat Jayaraman
Relaxation on Optimization Predicates

James Cheney
The Semantics of Nominal Logic Programs

Petra Schwaiger, Burkhard Freitag
Using Answer Set Programming for the Automatic Compilation of Assessment Tests

Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro, and Manuel Hermenegildo
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation

C.R. Ramakrishnan, IV Ramakrishnan, and David Warren
Deductive Spreadsheets using Tabled Logic Programming

Maarten van Emden
Compositional Semantics for the Procedural Interpretation of Logic

Ricardo Rocha
Handling Incomplete and Complete Tables in Tabled Logic Programs

Luke Simon, Ajay Mallya, Ajay Bansal, and Gopal Gupta
Coinductive Logic Programming

Brigitte Pientka
Overcoming performance barriers: efficient verification techniques for logical frameworks

Veronica Dahl, Baohua Gu
Semantic Property Grammars for Knowledge Extraction from Biomedical Text

Pedro Cabalar, Sergei Odintsov, David Pearce, and Agustin Valverde
Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic

Cláudio Silva, Ricardo Rocha, and Ricardo Lopes
An External Module For Implementing Linear Tabling in Prolog

Kazunori Ueda, Norio Kato, Koji Hara, and Ken Mizuno
LMNtal as a Unifying Declarative Language

Alberto Pettorossi, Maurizio Proietti, and Valerio Senni
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

Enrico Pontelli, Tran Son
Justifications for Logic Programs under Answer Set Semantics

Juan Fernández Ortiz, Jørgen Villadsen
Natural Language Processing Using Lexical and Logical Combinators

Andrei Mantsivoda, Anton Malykh, and Vladimir Lipovchenko
Logic programming in Knowledge Domains

Martin Gebser, Torsten Schaub
Tableau Calculi for Answer Set Programming

Thi-Bich-Hanh Dao, Khalil Djelloul
Solving First-Order Constraints in the Theory of the Evaluated Trees

Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, and Bernardo Cuenca-Grau
Integrating Datalog with OWL: Exploring the AL-log Approach

Remy Haemmerle, Francois Fages
Modules for Prolog Revisited

Vitor Nogueira, Salvador Abreu
TowardsTemporal Contextual Logic Programming

Paulo Jorge Lopes de Moura, Vincent Marchetti
Logtalk processing of STEP Part 21 files

Davy Van Nieuwenborgh, Stijn Heymans, and Dirk Vermeir
Cooperating Answer Set Programming

Dulce Aguilar-Solis
Learning Semantic Parsers: a Constraint Handling Rule Approach

Sebastian Brand, Roland H.C. Yap
Towards "Propagation = Logic + Control"

Quan Phan, Gerda Janssens
Towards Region-based Memory Management for Deterministic Mercury Programs (Extended Abstract)

Gregory James Duck, Sebastian Brand, and Peter Stuckey
ACD Term Rewriting

Chitta Baral, Saadat Anwar, Juraj Dzifcak, and Hiro Takahashi
Macros, macro calls and use of ensembles in modular Answer Set Programming

Jon Sneyers, Tom Schrijvers, and Bart Demoen
Memory reuse for CHR

Katsumi Inoue, Chiaki Sakama
Generality Relations in Answer Set Programming

Péter Szabó, Péter Szeredi
Improving the ISO Prolog standard by analysing compliance test results

Luciano Caroprese, Sergio Greco, Cristina Sirangelo, and Ester Zumpano
Declarative Semantics of Production Rules for Integrity Maintenance

Salvador Abreu, Vitor Nogueira
Towards Structured Contexts and Modules

Andy King, Lunjin Lu, and Samir Genaim
Detecting Determinacy in Prolog Programs