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

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

5 ×#logic programming

5 ×#source code

3 ×#compilation

3 ×#constraints

2 ×#concurrent

2 ×#modelling

2 ×#multi

2 ×#named

2 ×#probability

2 ×#programming

5 ×#source code

3 ×#compilation

3 ×#constraints

2 ×#concurrent

2 ×#modelling

2 ×#multi

2 ×#named

2 ×#probability

2 ×#programming