Technical Communications of the 27th International Conference on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Dagstuhl
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.