| Vol-1433 urn:nbn:de:0074-1433-4 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ICLP-TCs 2015
Technical Communications of ICLP

### Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)

### Cork, Ireland, August 31 - September 4, 2015.

Edited by

### Marina De Vos *
Thomas Eiter **
Yuliya Lierler ***
Francesca Toni ****

* University of Bath, Department of Computer Science, University of Bath, Bath, BA2 7AY, UK
** Vienna University of Technology, Institute of Information Systems, Favoritenstraße 9-11 A-1040 Wien, Austria
***University of Nebraska at Omaha, Peter Kiewit Institute, 280D, University of Nebraska at Omaha, USA
**** Imperial College London, Department of Computing, Imperial College London, South Kensington Campus, London SW7 2AZ, UK

## Table of Contents

- Editorial
  Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni

### Technical Communications

- Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines
  Mohan Yang, Alexander Shkapsky, Carlo Zaniolo
- Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
  Jan Rosecky, Filip Prochazka, Barbora Buhnova
- Logic Programming and Bisimulation
  Agostino Dovier
- Parallel Execution of the ASP Computation - an Investigation on GPUs
  Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
- On Type-directed Generation of Lambda Terms
  Paul Tarau
- Answer Set Application Programming: a Case Study on Tetris
  Peter Schüller, Antonius Weinzierl
- Structural Resolution for Logic Programming
  Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
- Debugging ASP using ILP
  Tingting Li, Marina De Vos, Julian Padget, Ken Satoh, Tina Balke
- Learning Probabilistic Action Models from Interpretation Transitions
  David Martínez, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras
- Logic Programming for Cellular Automata
  Marcus Völker, Katsumi Inoue
- Relating Concrete Argumentation Formalisms and Abstract Argumentation
  Michael J. Maher
- CHR Exhaustive Execution - Revisited
  Ahmed Elsawy, Amira Zaki, Slim Abdennadher
- A Logic-Based Approach to Understanding Lone-Actor Terrorism
  Dalal Alrajeh, Paul Gill
- Abstract Answer Set Solvers for Cautious Reasoning
  Remi Brochenin, Marco Maratea
- Thread-Aware Logic Programming for Data-Driven Parallel Programs
  Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein
- Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
  Joaquín Arias, Manuel Carro
- Markov Logic Style Weighted Rules under the Stable Model Semantics
  Joohyung Lee, Yunsong Meng, Yi Wang
- On Structural Analysis of Non-Ground Answer-Set Programs
  Benjamin Kiesl, Peter Schüller, Hans Tompits
- A Logical Approach to Working with Biological Databases
  Nicos Angelopoulos, Georgios Giamas
- Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming
  Joohyung Lee, Yi Wang, Yu Zhang
- Unifying Justifications and Debugging for Answer-Set Programs
  Carlos Viegas Damásio, João Moura, Anastasia Analyti
- An Abductive Framework for Datalog± Ontologies
  Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
- Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs
  Carlo Zaniolo

### Doctoral Consortium Contributions

- Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary
  Günther Charwat
- Formal Methods for Answer Set Programming
  Amelia Harrison
- Handling Probability and Inconsistency in Answer Set Programming
  Yi Wang
- Higher Order Support in Logic Specification Languages for Data Mining Applications
  Matthias van der Hallen
- Opinions and Beliefs as constraint system operators (abstract only)
  Salim Perchy, Frank Valencia
- Transforming Delimited Control: Achieving Faster Effect Handlers
  Amr Hany Saleh
- Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction
  Vincent Nys

### Invited Presentations (Abstracts)

- (Probabilistic) Description Logics (abstract of invited talk)
  Evelina Lamma
- Industrial Success Stories of ASP and CP: What's still open? (abstract of invited talk)
  Gerhard Friedrich
- Using and Developing Declarative Languages for Machine Learning and Data Mining (abstract of invited talk)
  Luc De Raedt
- A Brief Guided Tour along the Borders of Logic Programming with Description Logics (abstract of invited tutorial)
  Francesca Lisi
- Tutorial on Analysis and Verification of Imperative Programs through CLP (abstract of invited tutorial)
  John Gallagher
- Datalog+/-: A New Family of Languages for Knowledge Representation and Reasoning (abstract of invited tutorial)
  Thomas Lukasiewicz
- Abstract Solvers for Answer Set Programming (abstract of invited tutorial)
  Marco Maratea

2015-08-30: submitted by Francesca Toni, metadata incl. bibliographic data published under Creative Commons CC0
2015-08-31: published on CEUR-WS.org |valid HTML5|