Thomas Eiter, Francesca Toni
Special Issue of the 31st International Conference on Logic Programming
ICLP-J-2015, 2015.

@proceedings{ICLP-J-2015,
	editor        = "Thomas Eiter and Francesca Toni",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	title         = "{Special Issue of the 31st International Conference on Logic Programming}",
	volume        = 15,
	year          = 2015,
}

Contents (21 items)

6 ×#logic programming
6 ×#set
5 ×#programming
3 ×#compilation
3 ×#logic
3 ×#source code
2 ×#constraints
2 ×#encoding
2 ×#equilibrium
2 ×#horn clause

ICLP-J-2015-DesouterDS #library

Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.

ICLP-J-2015-GagglMRWW #encoding #programming

Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.

ICLP-J-2015-GebserHKLS

Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.

ICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using

Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.

ICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #embedded #logic programming #predict

A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.

ICLP-J-2015-FichteTW #logic programming #source code

Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.

ICLP-J-2015-LawRB #constraints #learning #programming #set

Learning weak constraints in answer set programming (ML, AR, KB), pp. 511–525.

ICLP-J-2015-GangeNSSS #horn clause #program analysis #program transformation #representation

Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.

ICLP-J-2015-ZhouBD #logic programming

Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.

ICLP-J-2015-AlvianoFG #programming #recursion #set

Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.

ICLP-J-2015-AlvianoL #compilation #complexity #programming #set

Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.

ICLP-J-2015-AlvianoP #fuzzy #modulo theories #satisfiability #set

Fuzzy answer set computation via satisfiability modulo theories (MA, RP), pp. 588–603.

ICLP-J-2015-KoponenOJS #optimisation #programming #set #using

Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.

ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics

A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.

ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code

Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.

ICLP-J-2015-CristiaRF #constraints #logic programming #set

Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.

ICLP-J-2015-CabalarDV #encoding #equilibrium #logic

An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.

ICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics

Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.

ICLP-J-2015-MannaRT #consistency #query #scalability

Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.

ICLP-J-2015-MesnardPV #logic programming #testing

Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.

ICLP-J-2015-StulovaMH #runtime

Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.