ICLP-TCs 2015
Technical Communications of ICLP

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