Evelina Lamma, Terrance Swift
Special Issue of the 29th International Conference on Logic Programming
ICLP-J-2013, 2013.

@proceedings{ICLP-J-2013,
	editor        = "Evelina Lamma and Terrance Swift",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	title         = "{Special Issue of the 29th International Conference on Logic Programming}",
	volume        = 13,
	year          = 2013,
}

Contents (27 items)

4 ×#logic programming
3 ×#programming
3 ×#prolog
3 ×#set
2 ×#analysis
2 ×#approach
2 ×#constraints
2 ×#declarative
2 ×#generative
2 ×#logic

ICLP-J-2013-CatB #dependence #detection #functional #generative

Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.

ICLP-J-2013-Schwitter #challenge #natural language

The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.

ICLP-J-2013-LifschitzY #modelling

Lloyd-Topor completion and general stable models (VL, FY), pp. 503–515.

ICLP-J-2013-AzizCS #bound #semantics

Stable model semantics for founded bounds (RAA, GC, PJS), pp. 517–532.

ICLP-J-2013-SchrijversDDW #continuation #prolog

Delimited continuations for prolog (TS, BD, BD, JW), pp. 533–546.

ICLP-J-2013-Balduccini

ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.

ICLP-J-2013-YouZZ #logic programming #quantifier #source code

Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.

ICLP-J-2013-Maher #logic

Relative expressiveness of defeasible logics II (MJM), pp. 579–592.

ICLP-J-2013-GangeNSSS #constraints #logic programming

Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.

ICLP-J-2013-MazuranSZ #datalog #declarative #horn clause

A declarative extension of horn clauses, and its significance for datalog and its applications (MM, ES, CZ), pp. 609–623.

ICLP-J-2013-ArbelaezTC #parallel #predict #runtime #satisfiability #using

Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.

ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification

Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.

ICLP-J-2013-BusoniuOPST #debugging #ide #named #programming

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.

ICLP-J-2013-KaminskiSSV #logic #network

Minimal intervention strategies in logical signaling networks with ASP (RK, TS, AS, SV), pp. 675–690.

ICLP-J-2013-JansenJJ #compilation #induction #prolog

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.

ICLP-J-2013-LiangK #analysis #logic programming #scalability #source code

A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.

ICLP-J-2013-AlbertBGRS #generative #testing

A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.

ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.

ICLP-J-2013-AlvianoP #approximate #fuzzy #set

Fuzzy answer sets approximations (MA, RP), pp. 753–767.

ICLP-J-2013-SneyersSF #probability #reasoning

Probabilistic legal reasoning in CHRiSM (JS, DDS, TWF), pp. 769–781.

ICLP-J-2013-BanbaraSTIS #modelling #programming #set

Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.

ICLP-J-2013-CostaV #named

BigYAP: Exo-compilation meets UDI (VSC, DV), pp. 799–813.

ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification

A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.

ICLP-J-2013-ErdemPSSU #approach #multi

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (EE, VP, ZGS, PS, TU), pp. 831–846.

ICLP-J-2013-Tarau #prolog

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (PT), pp. 847–861.

ICLP-J-2013-BartholomewL #on the #semantics

On the stable model semantics for intensional functions (MB, JL), pp. 863–876.

ICLP-J-2013-GottlobMP #decidability #paradigm

Combining decidability paradigms for existential rules (GG, MM, AP), pp. 877–892.