John P. Gallagher, Michael Gelfond
Proceedings of the 27th International Conference on Logic Programming
ICLP-J-2011, 2011.

@proceedings{ICLP-J-2011,
	editor        = "John P. Gallagher and Michael Gelfond",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	title         = "{Proceedings of the 27th International Conference on Logic Programming}",
	volume        = 11,
	year          = 2011,
}

Event page: http://www.cs.uky.edu/iclp2011/

Contents (23 items)

5 ×#constraints
4 ×#logic programming
4 ×#source code
3 ×#concurrent
3 ×#prolog
3 ×#using
2 ×#analysis
2 ×#automation
2 ×#evaluation
2 ×#induction

ICLP-J-2011-RiguzziS #nondeterminism #reasoning

The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.

ICLP-J-2011-DrescherT #logic programming #named #prolog

ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.

ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic

Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.

ICLP-J-2011-CominiTV #concurrent #constraints #source code

Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.

ICLP-J-2011-CodishGBFG #analysis #constraints #integer #satisfiability #termination #using

SAT-based termination analysis using monotonicity constraints over the integers (MC, IG, AMBA, CF, JG), pp. 503–520.

ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code

Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.

ICLP-J-2011-KrienerK #named #prolog

RedAlert: Determinacy inference for Prolog (JK, AK), pp. 537–553.

ICLP-J-2011-GuzmanCCH #backtracking #independence #parallel

Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.

ICLP-J-2011-BoneSS #automation #parallel

Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.

ICLP-J-2011-Haemmerle11a #constraints #induction #semantics

(Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.

ICLP-J-2011-Porto #composition #prolog #semantics

A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.

ICLP-J-2011-LierlerT #approach #generative

Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.

ICLP-J-2011-Vennekens

Actual causation in CP-logic (JV), pp. 647–662.

ICLP-J-2011-GutmannTKBR #logic #probability #programming

The magic of logical inference in probabilistic programming (BG, IT, AK, MB, LDR), pp. 663–680.

ICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code

On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.

ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.

ICLP-J-2011-Antoy #correctness #on the

On the correctness of pull-tabbing (SA), pp. 713–730.

ICLP-J-2011-CattafiGNAF #network

Optimal placement of valves in a water distribution network with CLP(FD) (MC, MG, MN, SA, MF), pp. 731–747.

ICLP-J-2011-DurzinskyMOSW #automation #network #re-engineering #using

Automatic network reconstruction using ASP (MD, WM, MO, TS, AW), pp. 749–766.

ICLP-J-2011-HallerstedeL #concurrent #constraints #specification

Constraint-based deadlock checking of high-level specifications (SH, ML), pp. 767–782.

ICLP-J-2011-CorapiRVPS #design #induction #learning #using

Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.

ICLP-J-2011-SlotaLS #hybrid #knowledge base

Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.

ICLP-J-2011-GebserKS #optimisation #programming #set

Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.