John P. Gallagher, Michael Gelfond
Technical Communications of the 27th International Conference on Logic Programming
ICLP, 2011.

@proceedings{ICLP-2011,
	address       = "Lexington, Kentucky, USA",
	editor        = "John P. Gallagher and Michael Gelfond",
	ee            = "http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006",
	isbn          = "978-3-939897-31-6",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Technical Communications of the 27th International Conference on Logic Programming}",
	volume        = 11,
	year          = 2011,
}

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

Contents (32 items)

6 ×#logic programming
4 ×#logic
4 ×#programming
4 ×#set
3 ×#prolog
3 ×#reasoning
3 ×#source code
3 ×#using
2 ×#abduction
2 ×#constraints

ICLP-2011-GebserKKS #multi #optimisation #programming #set

Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.

ICLP-2011-BochmanL #equivalence

Yet Another Characterization of Strong Equivalence (AB, VL), pp. 11–15.

ICLP-2011-OstrowskiFSA #evolution #ontology #using

Evolution of Ontologies using ASP (MO, GF, TS, GA), pp. 16–27.

ICLP-2011-DrescherW #constraints #modelling #programming #set

Modelling Grammar Constraints with Answer Set Programming (CD, TW), pp. 28–39.

ICLP-2011-BrikR #hybrid

Hybrid ASP (AB, JBR), pp. 40–50.

ICLP-2011-CasolaryL #programming #representation #set

Representing the Language of the Causal Calculator in Answer Set Programming (MC, JL), pp. 51–61.

ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking

Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.

ICLP-2011-JacksonBS #canonical

Canonical Regular Types (EKJ, NB, WS), pp. 73–83.

ICLP-2011-Eichberg #compilation #java #prolog

Compiling Prolog to Idiomatic Java (ME), pp. 84–94.

ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis

Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.

ICLP-2011-AlrajehKRU #approach #induction #refinement

An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.

ICLP-2011-KoninckBS #constraints

Constraints in Non-Boolean Contexts (LDK, SB, PJS), pp. 117–127.

ICLP-2011-WangS

Minimizing the overheads of dependent {AND}-parallelism (PW, ZS), pp. 128–138.

ICLP-2011-Bulwahn #generative #logic programming #testing

Smart test data generators via logic programming (LB), pp. 139–150.

ICLP-2011-Brass #declarative

Declarative Output by Ordering Text Pieces (SB), pp. 151–161.

ICLP-2011-FodorK #logic #transaction

Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.

ICLP-2011-MaRBL #abduction #multi #reasoning

Multi-agent Confidential Abductive Reasoning (JM, AR, KB, EL), pp. 175–186.

ICLP-2011-DovierFP #coordination #named #prolog

BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.

ICLP-2011-Hanus #declarative #web

Declarative Processing of Semistructured Web Data (MH), pp. 198–208.

ICLP-2011-ChishamPSW #logic programming #named #repository #using #web #web service

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services (BC, EP, TCS, BW), pp. 209–219.

ICLP-2011-ChristiansenHLP #analysis #network #sequence

Bayesian Annotation Networks for Complex Sequence Analysis (HC, CTH, OTL, MP), pp. 220–230.

ICLP-2011-NicholsonSS #generative #logic #music #probability #using

Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.

ICLP-2011-MolinaroSS #abduction #logic #probability

Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.

ICLP-2011-Bone #automation #parallel

Automatic Parallelism in Mercury (PB), pp. 251–254.

ICLP-2011-Bottalico #consistency #hybrid #simulation

Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.

ICLP-2011-Brik #programming #set

Extensions of Answer Set Programming (AB), pp. 261–267.

ICLP-2011-Campli #framework

A Semiring-based framework for fair resources allocation (PC), pp. 268–273.

ICLP-2011-Krennwallner #composition #logic programming #source code

Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.

ICLP-2011-Kriener #logic programming #reasoning #source code

Correct Reasoning about Logic Programs (JK), pp. 280–283.

ICLP-2011-Simko #logic programming #order

Accepting the natural order of rules in a logic program with preferences (AS), pp. 284–289.

ICLP-2011-Wilson #axiom #implementation

Implementation of Axiomatic Language (WWW), pp. 290–295.

ICLP-2011-Zombori #information retrieval #logic #performance #reasoning

Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.