27. ICLP 2011:
Lexington, Kentucky, USA John P. Gallagher , Michael Gelfond (Eds.):
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA.
LIPIcs 11 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-31-6 The regular papers of this conference are published in Theory and Practice of Logic Programming, Volume 11 (4-5)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/Herranz-NievaM11 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lukas Bulwahn :
Smart test data generators via logic programming.
139-150
export record as
dblp key:
Stefan Brass :
Declarative Output by Ordering Text Pieces.
151-161
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael Hanus :
Declarative Processing of Semistructured Web Data.
198-208
export record as
dblp key:
export record as
dblp key:
conf/iclp/ChristiansenHLP11 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul Bone :
Automatic Parallelism in Mercury.
251-254
export record as
dblp key:
export record as
dblp key:
Alex Brik :
Extensions of Answer Set Programming.
261-267
export record as
dblp key:
Paola Campli :
A Semiring-based framework for fair resources allocation.
268-273
export record as
dblp key:
export record as
dblp key:
Jael Kriener :
Correct Reasoning about Logic Programs.
280-283
export record as
dblp key:
Alexander Simko :
Accepting the natural order of rules in a logic program with preferences.
284-289
export record as
dblp key:
export record as
dblp key:
Zsolt Zombori :
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
296-300
data released under the ODC-BY 1.0 license
