Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni
Technical Communications of the 31st International Conference on Logic Programming
ICLP TC, 2015.

@proceedings{ICLP-2015,
	address       = "Cork, Ireland",
	editor        = "Marina De Vos and Thomas Eiter and Yuliya Lierler and Francesca Toni",
	ee            = "http://ceur-ws.org/Vol-1433",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Technical Communications of the 31st International Conference on Logic Programming}",
	volume        = 1433,
	year          = 2015,
}

Contents (30 items)

6 ×#logic programming
5 ×#programming
5 ×#set
5 ×#source code
3 ×#execution
3 ×#logic
3 ×#parallel
3 ×#using
2 ×#approach
2 ×#debugging

ICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #parallel #source code

Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ), pp. 6–17.

ICLP-2015-RoseckyPB #energy #grid #prolog #simulation

Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (JR, FP, BB), pp. 18–31.

ICLP-2015-Dovier #bisimulation #logic programming

Logic Programming and Bisimulation (AD), pp. 32–45.

ICLP-2015-DovierFPV #execution #parallel

Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.

ICLP-2015-Tarau #generative #on the

On Type-directed Generation of λ Terms (PT), pp. 60–72.

ICLP-2015-SchullerW #case study #programming #set

Answer Set Application Programming: a Case Study on Tetris (PS, AW), pp. 73–86.

ICLP-2015-JohannKK #logic programming

Structural Resolution for Logic Programming (PJ, EK, VK), pp. 87–99.

ICLP-2015-LiVPSB #debugging #using

Debugging ASP using ILP (TL, MDV, JP, KS, TB), pp. 100–113.

ICLP-2015-MartinezRIAT #learning #modelling #probability

Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT), pp. 114–127.

ICLP-2015-VolkerI #automaton #logic programming

Logic Programming for Cellular Automata (MV, KI), pp. 128–139.

ICLP-2015-Maher

Relating Concrete Argumentation Formalisms and Abstract Argumentation (MJM), pp. 140–152.

ICLP-2015-ElsawyZA #execution #revisited

CHR Exhaustive Execution — Revisited (AE, AZ, SA), pp. 153–165.

ICLP-2015-AlrajehG #approach #comprehension

A Logic-Based Approach to Understanding Lone-Actor Terrorism (DA, PG), pp. 166–178.

ICLP-2015-BrocheninM #reasoning #set

Abstract Answer Set Solvers for Cautious Reasoning (RB, MM), pp. 179–190.

ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread

Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.

ICLP-2015-AriasC #execution #interface #towards

Towards a Generic Interface to Integrate CLP and Tabled Execution (JA, MC), pp. 204–206.

ICLP-2015-LeeMW #logic #markov #semantics

Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW), pp. 207–220.

ICLP-2015-KieslST #analysis #on the #source code

On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT), pp. 221–234.

ICLP-2015-AngelopoulosG #approach #biology #database #logic

A Logical Approach to Working with Biological Databases (NA, GG), pp. 235–246.

ICLP-2015-LeeWZ #automation #programming #reasoning #set #using

Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ), pp. 247–259.

ICLP-2015-DamasioMA #debugging #source code

Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA), pp. 260–273.

ICLP-2015-GavanelliLRBZC #abduction #datalog #framework #ontology

An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.

ICLP-2015-Zaniolo #algorithm #logic programming #source code

Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ), pp. 287–300.

ICLP-2015-Charwat #diagrams #programming #research #summary #using

Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC), pp. 301–310.

ICLP-2015-Harrison #formal method #programming #set

Formal Methods for Answer Set Programming (AH), pp. 311–318.

ICLP-2015-Wang #consistency #nondeterminism #probability #programming #set

Handling Probability and Inconsistency in Answer Set Programming (YW), pp. 319–329.

ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification

Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH), pp. 330–336.

ICLP-2015-PerchyV #constraints

Opinions and Beliefs as constraint system operators (SP, FV), p. 337.

ICLP-2015-Saleh #performance

Transforming Delimited Control: Achieving Faster Effect Handlers (AHS), pp. 338–347.

ICLP-2015-Nys #deduction #roadmap

Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN), pp. 348–357.