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

@proceedings{ICLP-2012,
	address       = "Budapest, Hungary",
	editor        = "Agostino Dovier and Vítor Santos Costa",
	ee            = "http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008",
	isbn          = "978-3-939897-43-9",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Technical Communications of the 28th International Conference on Logic Programming}",
	volume        = 17,
	year          = 2012,
}

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

Contents (45 items)

8 ×#logic programming
7 ×#set
6 ×#programming
6 ×#source code
4 ×#constraints
4 ×#semantics
3 ×#lazy evaluation
2 ×#approach
2 ×#concurrent
2 ×#functional

ICLP-2012-BryS #query #semistructured data #simulation #unification

Simulation Unification: Beyond Querying Semistructured Data (FB, SS), pp. 1–13.

ICLP-2012-BlockeelBBCP #data mining #machine learning #mining #modelling #problem

Modeling Machine Learning and Data Mining Problems with FO(·) (HB, BB, MB, BdC, SDP, MD, AL, JR, SV), pp. 14–25.

ICLP-2012-BaralVL #how #knowledge base #why

Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report (CB, NHV, SL), pp. 26–36.

ICLP-2012-MarateaPR #machine learning

Applying Machine Learning Techniques to ASP Solving (MM, LP, FR), pp. 37–48.

ICLP-2012-Balduccini #set #source code

An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.

ICLP-2012-LeeM #modelling #quantifier

Stable Models of Formulas with Generalized Quantifiers (JL, YM), pp. 61–71.

ICLP-2012-SchandaB #development #programming #set #using

Using Answer Set Programming in the Development of Verified Software (FS, MB), pp. 72–85.

ICLP-2012-BanbaraTI #generative #matrix #programming #testing

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.

ICLP-2012-AlbertAG #concurrent #testing #towards

Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.

ICLP-2012-AbdennadherS #text-to-text #visualisation

Visualization of CHR through Source-to-Source Transformation (SA, NS), pp. 109–118.

ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using

Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.

ICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism

Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.

ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.

ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics

A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.

ICLP-2012-SilverthornLS

Surviving Solver Sensitivity: An ASP Practitioner’s Guide (BS, YL, MS), pp. 164–175.

ICLP-2012-HoosKSS #named #scheduling

aspeed: ASP-based Solver Scheduling (HH, RK, TS, MTS), pp. 176–187.

ICLP-2012-DrescherW #generative #lazy evaluation #set

Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.

ICLP-2012-CatDS #incremental #lazy evaluation

Lazy Model Expansion by Incremental Grounding (BdC, MD, PJS), pp. 201–211.

ICLP-2012-AndresKMS #optimisation #satisfiability

Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.

ICLP-2012-OetschPT #constraints #semantics #source code

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.

ICLP-2012-YouMB #semantics #source code

Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs (JHY, JM, YB), pp. 235–246.

ICLP-2012-MorakW #preprocessor #programming #set

Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.

ICLP-2012-Lifschitz #logic programming #source code

Two-Valued Logic Programs (VL), pp. 259–266.

ICLP-2012-NievesL #logic programming #source code

Possibilistic Nested Logic Programs (JCN, HL), pp. 267–276.

ICLP-2012-DeneckerLTV #programming #semantics #set

A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.

ICLP-2012-AguadoCDPV

Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.

ICLP-2012-Drabent #logic

Logic + control: An example (WD), pp. 301–311.

ICLP-2012-Tarau #performance

Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection (PT), pp. 312–322.

ICLP-2012-GrecoST #logic programming #on the #source code #termination

On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.

ICLP-2012-AriasL #logic programming

Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.

ICLP-2012-SatoM #infinity #probability

Tabling for infinite probability computation (TS, PM), pp. 348–358.

ICLP-2012-LeNPS #implementation

ASP at Work: An ASP Implementation of PhyloWS (TL, HN, EP, TCS), pp. 359–369.

ICLP-2012-DahlCMM #social

CHR for Social Responsibility (VD, BC, JEM, EM), pp. 370–380.

ICLP-2012-0002KZPM #approach #data access #logic programming #rdf

A Logic Programming approach for Access Control over RDF (NL, SK, AZ, AP, AM), pp. 381–392.

ICLP-2012-NovelliVPD #architecture #named

LOG-IDEAH: ASP for Architectonic Asset Preservation (VN, MDV, JAP, DD), pp. 393–403.

ICLP-2012-ChenJY

Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.

ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.

ICLP-2012-FilardoE #finite #flexibility

A Flexible Solver for Finite Arithmetic Circuits (NWF, JE), pp. 425–438.

ICLP-2012-Angelis #model checking

Software Model Checking by Program Specialization (EDA), pp. 439–444.

ICLP-2012-Dieguez #programming #set

Temporal Answer Set Programming (MD), pp. 445–450.

ICLP-2012-Hadjichristodoulou #polymorphism #prolog #type system

A Gradual Polymorphic Type System with Subtyping for Prolog (SH), pp. 451–457.

ICLP-2012-Ostrowski #csp

ASP modulo CSP: The clingcon system (MO), pp. 458–463.

ICLP-2012-Peano #approach

An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System (AP), pp. 464–468.

ICLP-2012-Redl #programming #set

Answer Set Programming with External Sources (CR), pp. 469–475.

ICLP-2012-Wright

Together, Is Anything Possible? A Look at Collective Commitments for Agents (BW), pp. 476–480.