ICLP 2011 July 6-10, 2011, Lexington, Kentucky, USA

Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)



John P. Gallagher and Michael Gelfond (Eds.)
ISBN 978-3-939897-31-6, LIPICS Vol. 11 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server

Authors
  • Alrajeh, Dalal
  • Antoniou, Grigoris
  • Bjørner, Nikolaj
  • Bochman, Alexander
  • Bone, Paul
  • Bottalico, Marco
  • Brand, Sebastian
  • Brass, Stefan
  • Brik, Alex
  • Broda, Krysia
  • Bulwahn, Lukas
  • Campli, Paola
  • Casolary, Michael
  • Chisham, Brandon
  • Christiansen, Henning
  • Csorba, János
  • De Koninck, Leslie
  • De Schreye, Danny
  • Dovier, Agostino
  • Drescher, Christian
  • Eichberg, Michael
  • Flouris, Giorgos
  • Fodor, Paul
  • Formisano, Andrea
  • Gallagher, John P.
  • Gebser, Martin
  • Gelfond, Michael
  • Hanus, Michael
  • Herranz, Ángel
  • Jackson, Ethan K.
  • Kaminski, Roland
  • Kaufmann, Benjamin
  • Kifer, Michael
  • Kramer, Jeff
  • Krennwallner, Thomas
  • Kriener, Jael
  • Lee, Joohyung
  • Lifschitz, Vladimir
  • Lupu, Emil
  • Ma, Jiefei
  • Mariño, Julio
  • Molinaro, Cristian
  • Nicholson, Colin J.
  • Ostrowski, Max
  • Petit, Matthieu
  • Pontelli, Enrico
  • Remmel, Jeffrey B.
  • Russo, Alessandra
  • Schaub, Torsten
  • Schulte, Wolfram
  • Šimko, Alexander
  • Sliva, Amy
  • Sneyers, Jon
  • Somogyi, Zoltan
  • Son, Tran Cao
  • Stuckey, Peter J.
  • Subrahmanian, V. S.
  • Szeredi, Péter
  • Theil Have, Christian
  • Torp Lassen, Ole
  • Uchitel, Sebastian
  • Walsh, Toby
  • Wang, Peter
  • Wilson, Walter W.
  • Wright, Ben
  • Zombori, Zsolt
    		•

    		  
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: Gallagher, John P. ; Gelfond, Michael

    Abstract | Document (325 KB) | BibTeX

    Multi-Criteria Optimization in Answer Set Programming
    Authors: Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Schaub, Torsten

    Abstract | Document (569 KB) | BibTeX

    Yet Another Characterization of Strong Equivalence
    Authors: Bochman, Alexander ; Lifschitz, Vladimir

    Abstract | Document (308 KB) | BibTeX

    Evolution of Ontologies using ASP
    Authors: Ostrowski, Max ; Flouris, Giorgos ; Schaub, Torsten ; Antoniou, Grigoris

    Abstract | Document (490 KB) | BibTeX

    Modelling Grammar Constraints with Answer Set Programming
    Authors: Drescher, Christian ; Walsh, Toby

    Abstract | Document (473 KB) | BibTeX

    Hybrid ASP
    Authors: Brik, Alex ; Remmel, Jeffrey B.

    Abstract | Document (504 KB) | BibTeX

    Representing the Language of the Causal Calculator in Answer Set Programming
    Authors: Casolary, Michael ; Lee, Joohyung

    Abstract | Document (644 KB) | BibTeX

    Static Type Checking for the Q Functional Language in Prolog
    Authors: Zombori, Zsolt ; Csorba, János ; Szeredi, Péter

    Abstract | Document (459 KB) | BibTeX

    Canonical Regular Types
    Authors: Jackson, Ethan K. ; Bjørner, Nikolaj ; Schulte, Wolfram

    Abstract | Document (548 KB) | BibTeX

    Compiling Prolog to Idiomatic Java
    Authors: Eichberg, Michael

    Abstract | Document (1,009 KB) | BibTeX

    Synthesis of Logic Programs from Object-Oriented Formal Specifications
    Authors: Herranz, Ángel ; Mariño, Julio

    Abstract | Document (483 KB) | BibTeX

    An Inductive Approach for Modal Transition System Refinement
    Authors: Alrajeh, Dalal ; Kramer, Jeff ; Russo, Alessandra ; Uchitel, Sebastian

    Abstract | Document (563 KB) | BibTeX

    Constraints in Non-Boolean Contexts
    Authors: De Koninck, Leslie ; Brand, Sebastian ; Stuckey, Peter J.

    Abstract | Document (487 KB) | BibTeX

    Minimizing the overheads of dependent {AND}-parallelism
    Authors: Wang, Peter ; Somogyi, Zoltan

    Abstract | Document (345 KB) | BibTeX

    Smart test data generators via logic programming
    Authors: Bulwahn, Lukas

    Abstract | Document (526 KB) | BibTeX

    Declarative Output by Ordering Text Pieces
    Authors: Brass, Stefan

    Abstract | Document (414 KB) | BibTeX

    Transaction Logic with Defaults and Argumentation Theories
    Authors: Fodor, Paul ; Kifer, Michael

    Abstract | Document (530 KB) | BibTeX

    Multi-agent Confidential Abductive Reasoning
    Authors: Ma, Jiefei ; Russo, Alessandra ; Broda, Krysia ; Lupu, Emil

    Abstract | Document (480 KB) | BibTeX

    BAAC: A Prolog System for Action Description and Agents Coordination
    Authors: Dovier, Agostino ; Formisano, Andrea ; Pontelli, Enrico

    Abstract | Document (517 KB) | BibTeX

    Declarative Processing of Semistructured Web Data
    Authors: Hanus, Michael

    Abstract | Document (401 KB) | BibTeX

    CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
    Authors: Chisham, Brandon ; Pontelli, Enrico ; Son, Tran Cao ; Wright, Ben

    Abstract | Document (499 KB) | BibTeX

    Bayesian Annotation Networks for Complex Sequence Analysis
    Authors: Christiansen, Henning ; Theil Have, Christian ; Torp Lassen, Ole ; Petit, Matthieu

    Abstract | Document (456 KB) | BibTeX

    Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise
    Authors: Nicholson, Colin J. ; De Schreye, Danny ; Sneyers, Jon

    Abstract | Document (1,272 KB) | BibTeX

    Abduction in Annotated Probabilistic Temporal Logic
    Authors: Molinaro, Cristian ; Sliva, Amy ; Subrahmanian, V. S.

    Abstract | Document (543 KB) | BibTeX

    Automatic Parallelism in Mercury
    Authors: Bone, Paul

    Abstract | Document (251 KB) | BibTeX

    Consistency Techniques for Hybrid Simulations
    Authors: Bottalico, Marco

    Abstract | Document (349 KB) | BibTeX

    Extensions of Answer Set Programming
    Authors: Brik, Alex

    Abstract | Document (284 KB) | BibTeX

    A Semiring-based framework for fair resources allocation
    Authors: Campli, Paola

    Abstract | Document (352 KB) | BibTeX

    Promoting Modular Nonmonotonic Logic Programs
    Authors: Krennwallner, Thomas

    Abstract | Document (361 KB) | BibTeX

    Correct Reasoning about Logic Programs
    Authors: Kriener, Jael

    Abstract | Document (213 KB) | BibTeX

    Accepting the natural order of rules in a logic program with preferences
    Authors: Šimko, Alexander

    Abstract | Document (260 KB) | BibTeX

    Implementation of Axiomatic Language
    Authors: Wilson, Walter W.

    Abstract | Document (276 KB) | BibTeX

    Two Phase Description Logic Reasoning for Efficient Information Retrieval
    Authors: Zombori, Zsolt

    Abstract | Document (271 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI