Agostino Dovier, Vítor Santos Costa
Proceedings of the 28th International Conference on Logic Programming
ICLP-J-2012, 2012.

@proceedings{ICLP-J-2012,
	editor        = "Agostino Dovier and Vítor Santos Costa",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-5",
	title         = "{Proceedings of the 28th International Conference on Logic Programming}",
	volume        = 12,
	year          = 2012,
}

Event page: http://www.cs.bme.hu/iclp2012/

Contents (21 items)

5 ×#logic programming
5 ×#source code
3 ×#compilation
3 ×#constraints
2 ×#concurrent
2 ×#modelling
2 ×#multi
2 ×#named
2 ×#probability
2 ×#programming

ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using

Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.

ICLP-J-2012-BliemMW #declarative #named #problem #programming #using

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.

ICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability

Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.

ICLP-J-2012-OstrowskiS #csp

ASP modulo CSP: The clingcon system (MO, TS), pp. 485–503.

ICLP-J-2012-IslamRR #logic programming #probability #random #source code

Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.

ICLP-J-2012-GebserKS #concurrent #multi #thread

Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.

ICLP-J-2012-ZhouH #performance

Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.

ICLP-J-2012-LifschitzPY #modelling #null #relational

Relational theories with null values and non-herbrand stable models (VL, KP, FY), pp. 565–582.

ICLP-J-2012-Vidal #independence #logic programming #partial evaluation #source code

Annotation of logic programs for independent AND-parallelism by partial evaluation (GV), pp. 583–600.

ICLP-J-2012-Duck #constraints #named #satisfiability

SMCHR: Satisfiability modulo constraint handling rules (GJD), pp. 601–618.

ICLP-J-2012-VosKOPT #source code

Annotating answer-set programs in Lana (MDV, DGK, JO, JP, HT), pp. 619–637.

ICLP-J-2012-Cervesato #compilation #logic programming #source code

An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.

ICLP-J-2012-EiterFKR

Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.

ICLP-J-2012-GorlinRS #logic programming #model checking #probability

Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.

ICLP-J-2012-AlvianoFLM #complexity #datalog #decidability #quantifier #semantics

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (MA, WF, NL, MM), pp. 701–718.

ICLP-J-2012-BabbL #modelling #theorem

Module theorem for the general theory of stable models (JB, JL), pp. 719–735.

ICLP-J-2012-Haemmerle #confluence #constraints #diagrams

Diagrammatic confluence for Constraint Handling Rules (RH), pp. 737–753.

ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight

Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.

ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus

Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.

ICLP-J-2012-Maher #logic

Relative expressiveness of defeasible logics (MJM), pp. 793–810.

ICLP-J-2012-Martin #logic programming #semantics #source code

Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.