## 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)

- 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.

6 ×#logic programming

6 ×#set

5 ×#programming

3 ×#compilation

3 ×#logic

3 ×#source code

2 ×#constraints

2 ×#encoding

2 ×#equilibrium

2 ×#horn clause

6 ×#set

5 ×#programming

3 ×#compilation

3 ×#logic

3 ×#source code

2 ×#constraints

2 ×#encoding

2 ×#equilibrium

2 ×#horn clause