ICLP 2010 July 16-19, 2010, Edinburgh, Scotland, UK

Technical Communications of the 26th International Conference on Logic Programming



Manuel Hermenegildo and Torsten Schaub (Eds.)
ISBN 978-3-939897-17-0, LIPICS Vol. 7 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 8 MB)
Search Publication Server


Authors
  • Alberti, Marco
  • Alqaddoumi, Abdulla
  • Alviano, Mario
  • Aref, Molham
  • Aristizabal P., Andres A.
  • Balduccini, Marcello
  • Basol, Selen
  • Bauters, Kim
  • Brass, Stefan
  • Bueno, Francisco
  • Corapi, Domenico
  • Cornelis, Chris
  • Dandois, Celine
  • Darmawan, Luthfi
  • De Cock, Martine
  • Demeyer, Romain
  • Drescher, Christian
  • Erdem, Ozan
  • Fages, François
  • Fayruzov, Timur
  • Fierens, Daan
  • Fink, Michael
  • Gaggl, Sarah Alice
  • Gavanelli, Marco
  • Guenot, Nicolas
  • Gupta, Gopal
  • Hermenegildo, Manuel
  • Ianni, Giovambattista
  • Janhunen, Tomi
  • Janssen, Jeroen
  • Janssens, Gerda
  • Lamma, Evelina
  • Lopez, Hugo A.
  • Lopez-Garcia, Pedro
  • Lupu, Emil
  • Maher, Michael J.
  • Mantadelis, Theofrastos
  • Martinez, Thierry
  • Muggleton, Stephen
  • Near, Joseph P.
  • Oetsch, Johannes
  • Pührer, Jörg
  • Pahlavi, Niels
  • Parisini, Fabio
  • Pereira, Luis Moniz
  • Pinto, Alexandre Miguel
  • Riguzzi, Fabrizio
  • Russo, Alessandra
  • Saeedloei, Neda
  • Santos, Jose
  • Sapino, Maria Luisa
  • Schaub, Torsten
  • Schockaert, Steven
  • Shakarian, Paulo
  • Simari, Gerardo
  • Snow, Zachary
  • Subrahmanian, V.S.
  • Swift, Terrance
  • Tompits, Hans
  • Toro-Bermudez, Mauricio
  • Vermeir, Dirk
  • Wernhard, Christoph
  • Zwirchmayr, Jakob

  •   
    Titlepage, Table of Contents, Conference Organization
    Authors: Hermenegildo, Manuel ; Schaub, Torsten

    Abstract | Document (391 KB) | BibTeX

    Introduction to the Technical Communications of the 26th International Conference on Logic Programming
    Authors: Hermenegildo, Manuel ; Schaub, Torsten

    Abstract | Document (116 KB) | BibTeX

    Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk)
    Authors: Aref, Molham

    Abstract | Document (120 KB) | BibTeX

    A Logical Paradigm for Systems Biology (Invited Talk)
    Authors: Fages, François

    Abstract | Document (379 KB) | BibTeX

    Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
    Authors: Alberti, Marco ; Gavanelli, Marco ; Lamma, Evelina

    Abstract | Document (569 KB) | BibTeX

    Learning Domain-Specific Heuristics for Answer Set Solvers
    Authors: Balduccini, Marcello

    Abstract | Document (270 KB) | BibTeX

    HEX Programs with Action Atoms
    Authors: Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista

    Abstract | Document (369 KB) | BibTeX

    Communicating Answer Set Programs
    Authors: Bauters, Kim ; Janssen, Jeroen ; Schockaert, Steven ; Vermeir, Dirk ; De Cock, Martine

    Abstract | Document (330 KB) | BibTeX

    Implementation Alternatives for Bottom-Up Evaluation
    Authors: Brass, Stefan

    Abstract | Document (264 KB) | BibTeX

    Inductive Logic Programming as Abductive Search
    Authors: Corapi, Domenico ; Russo, Alessandra ; Lupu, Emil

    Abstract | Document (350 KB) | BibTeX

    Efficient Solving of Time-dependent Answer Set Programs
    Authors: Fayruzov, Timur ; Janssen, Jeroen ; Vermeir, Dirk ; Cornelis, Chris ; De Cock, Martine

    Abstract | Document (408 KB) | BibTeX

    Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
    Authors: Fierens, Daan

    Abstract | Document (326 KB) | BibTeX

    Focused Proof Search for Linear Logic in the Calculus of Structures
    Authors: Guenot, Nicolas

    Abstract | Document (346 KB) | BibTeX

    Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
    Authors: Janhunen, Tomi

    Abstract | Document (557 KB) | BibTeX

    A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
    Authors: Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Bueno, Francisco

    Abstract | Document (350 KB) | BibTeX

    Contractibility and Contractible Approximations of Soft Global Constraints
    Authors: Maher, Michael J.

    Abstract | Document (302 KB) | BibTeX

    Dedicated Tabling for a Probabilistic Setting
    Authors: Mantadelis, Theofrastos ; Janssens, Gerda

    Abstract | Document (620 KB) | BibTeX

    Tight Semantics for Logic Programs
    Authors: Pereira, Luis Moniz ; Pinto, Alexandre Miguel

    Abstract | Document (336 KB) | BibTeX

    From Relational Specifications to Logic Programs
    Authors: Near, Joseph P.

    Abstract | Document (288 KB) | BibTeX

    Methods and Methodologies for Developing Answer-Set Programs - Project Description
    Authors: Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans

    Abstract | Document (243 KB) | BibTeX

    Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
    Authors: Riguzzi, Fabrizio ; Swift, Terrance

    Abstract | Document (597 KB) | BibTeX

    Subsumer: A Prolog theta-subsumption engine
    Authors: Santos, Jose ; Muggleton, Stephen

    Abstract | Document (311 KB) | BibTeX

    Using Generalized Annotated Programs to Solve Social Network Optimization Problems
    Authors: Shakarian, Paulo ; Subrahmanian, V.S. ; Sapino, Maria Luisa

    Abstract | Document (580 KB) | BibTeX

    Abductive Inference in Probabilistic Logic Programs
    Authors: Simari, Gerardo ; Subrahmanian, V.S.

    Abstract | Document (407 KB) | BibTeX

    Circumscription and Projection as Primitives of Logic Programming
    Authors: Wernhard, Christoph

    Abstract | Document (338 KB) | BibTeX

    Timed Definite Clause Omega-Grammars
    Authors: Saeedloei, Neda ; Gupta, Gopal

    Abstract | Document (314 KB) | BibTeX

    Towards a Parallel Virtual Machine for Functional Logic Programming
    Authors: Alqaddoumi, Abdulla

    Abstract | Document (311 KB) | BibTeX

    Dynamic Magic Sets for Disjunctive Datalog Programs
    Authors: Alviano, Mario

    Abstract | Document (183 KB) | BibTeX

    Bisimilarity in Concurrent Constraint Programming
    Authors: Aristizabal P., Andres A.

    Abstract | Document (118 KB) | BibTeX

    Program analysis for code duplication in logic programs
    Authors: Dandois, Celine

    Abstract | Document (324 KB) | BibTeX

    Program Analysis to Support Concurrent Programming in Declarative Languages
    Authors: Demeyer, Romain

    Abstract | Document (117 KB) | BibTeX

    Constraint Answer Set Programming Systems
    Authors: Drescher, Christian

    Abstract | Document (141 KB) | BibTeX

    Towards a General Argumentation System based on Answer-Set Programming
    Authors: Gaggl, Sarah Alice

    Abstract | Document (109 KB) | BibTeX

    Models for Trustworthy Service and Process Oriented Systems
    Authors: Lopez, Hugo A.

    Abstract | Document (353 KB) | BibTeX

    Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
    Authors: Martinez, Thierry

    Abstract | Document (92 KB) | BibTeX

    Higher-order Logic Learning and lambda-Progol
    Authors: Pahlavi, Niels

    Abstract | Document (341 KB) | BibTeX

    Local Branching in a Constraint Programming Framework
    Authors: Parisini, Fabio

    Abstract | Document (89 KB) | BibTeX

    Logic Programming Foundations of Cyber-Physical Systems
    Authors: Saeedloei, Neda

    Abstract | Document (101 KB) | BibTeX

    Realizing the Dependently Typed Lambda Calculus
    Authors: Snow, Zachary

    Abstract | Document (109 KB) | BibTeX

    Structured Interactive Musical Scores
    Authors: Toro-Bermudez, Mauricio

    Abstract | Document (96 KB) | BibTeX

    Cutting-Edge Timing Analysis Techniques
    Authors: Zwirchmayr, Jakob

    Abstract | Document (91 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI