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

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

4 ×#logic programming

3 ×#programming

3 ×#prolog

3 ×#set

2 ×#analysis

2 ×#approach

2 ×#constraints

2 ×#declarative

2 ×#generative

2 ×#logic

3 ×#programming

3 ×#prolog

3 ×#set

2 ×#analysis

2 ×#approach

2 ×#constraints

2 ×#declarative

2 ×#generative

2 ×#logic