Michael Leuschel, Tom Schrijvers
Special Issue of the 30th International Conference on Logic Programming
ICLP-J-2014, 2014.

@proceedings{ICLP-J-2014,
	editor        = "Michael Leuschel and Tom Schrijvers",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	title         = "{Special Issue of the 30th International Conference on Logic Programming}",
	volume        = 14,
	year          = 2014,
}

Contents (25 items)

8 ×#logic programming
4 ×#programming
4 ×#set
4 ×#source code
4 ×#using
3 ×#constraints
3 ×#linear
3 ×#reasoning
2 ×#abduction
2 ×#concurrent

ICLP-J-2014-MarpleG #consistency #programming #set

Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.

ICLP-J-2014-MantadelisRM #exclamation #induction

Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.

ICLP-J-2014-TachmazidisAF #big data #performance #semantics

Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.

ICLP-J-2014-SaadFG #constraints #reasoning #reliability

The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.

ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using

Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.

ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language

A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.

ICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving

SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.

ICLP-J-2014-GallF #adaptation #implementation

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.

ICLP-J-2014-LagerW #logic programming #named #web

Pengines: Web Logic Programming Made Easy (TL, JW), pp. 539–552.

ICLP-J-2014-Swift #incremental #information management #reasoning #representation

Incremental Tabling in Support of Knowledge Representation and Reasoning (TS), pp. 553–567.

ICLP-J-2014-HoosLS #algorithm #programming #set

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.

ICLP-J-2014-GelfondZ #logic programming #source code

Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.

ICLP-J-2014-CabalarFF #graph #logic programming #source code

Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.

ICLP-J-2014-DuckHS #confluence #consistency #on the #termination #type inference

On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.

ICLP-J-2014-PereiraDH #abduction #reasoning

Contextual Abductive Reasoning with Side-Effects (LMP, EAD, SH), pp. 633–648.

ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving

A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.

ICLP-J-2014-CaropreseTTZ #abduction

A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.

ICLP-J-2014-BellodiLRCZ #logic programming #probability

Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.

ICLP-J-2014-BartakZ #logic programming #problem #using

Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.

ICLP-J-2014-Antic #on the #set #source code

On Cascade Products of Answer Set Programs (CA), pp. 711–723.

ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, PR), pp. 725–737.

ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.

ICLP-J-2014-AlvianoDR #programming #set

Anytime Computation of Cautious Consequences in Answer Set Programming (MA, CD, FR), pp. 755–770.

ICLP-J-2014-Jackson #domain-specific language

A Module System for Domain-Specific Languages (EKJ), pp. 771–785.

ICLP-J-2014-CominiTV #linear #logic #using

Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.