LIPIcs, Volume 7, ICLP 2010

• Manuel Hermenegildo and Torsten Schaub LIPIcs, Volume 7, ICLP'10, Complete Volume 10.4230/LIPIcs.ICLP.2010
• Manuel Hermenegildo and Torsten Schaub Titlepage, Table of Contents, Conference Organization 10.4230/LIPIcs.ICLP.2010.i
• Manuel Hermenegildo and Torsten Schaub Introduction to the Technical Communications of the 26th International Conference on Logic Programming 10.4230/LIPIcs.ICLP.2010.XI
• Molham Aref Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk) 10.4230/LIPIcs.ICLP.2010.1
• François Fages A Logical Paradigm for Systems Biology (Invited Talk) 10.4230/LIPIcs.ICLP.2010.2
• Marco Alberti, Marco Gavanelli, and Evelina Lamma Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 10.4230/LIPIcs.ICLP.2010.4
• Marcello Balduccini Learning Domain-Specific Heuristics for Answer Set Solvers 10.4230/LIPIcs.ICLP.2010.14
• Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni HEX Programs with Action Atoms 10.4230/LIPIcs.ICLP.2010.24
• Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, and Martine De Cock Communicating Answer Set Programs 10.4230/LIPIcs.ICLP.2010.34
• Stefan Brass Implementation Alternatives for Bottom-Up Evaluation 10.4230/LIPIcs.ICLP.2010.44
• Domenico Corapi, Alessandra Russo, and Emil Lupu Inductive Logic Programming as Abductive Search 10.4230/LIPIcs.ICLP.2010.54
• Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, and Martine De Cock Efficient Solving of Time-dependent Answer Set Programs 10.4230/LIPIcs.ICLP.2010.64
• Daan Fierens Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization 10.4230/LIPIcs.ICLP.2010.74
• Nicolas Guenot Focused Proof Search for Linear Logic in the Calculus of Structures 10.4230/LIPIcs.ICLP.2010.84
• Tomi Janhunen Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited 10.4230/LIPIcs.ICLP.2010.94
• Pedro Lopez-Garcia, Luthfi Darmawan, and Francisco Bueno A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification 10.4230/LIPIcs.ICLP.2010.104
• Michael J. Maher Contractibility and Contractible Approximations of Soft Global Constraints 10.4230/LIPIcs.ICLP.2010.114
• Theofrastos Mantadelis and Gerda Janssens Dedicated Tabling for a Probabilistic Setting 10.4230/LIPIcs.ICLP.2010.124
• Luis Moniz Pereira and Alexandre Miguel Pinto Tight Semantics for Logic Programs 10.4230/LIPIcs.ICLP.2010.134
• Joseph P. Near From Relational Specifications to Logic Programs 10.4230/LIPIcs.ICLP.2010.144
• Johannes Oetsch, Jörg Pührer, and Hans Tompits Methods and Methodologies for Developing Answer-Set Programs - Project Description 10.4230/LIPIcs.ICLP.2010.154
• Fabrizio Riguzzi and Terrance Swift Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions 10.4230/LIPIcs.ICLP.2010.162
• Jose Santos and Stephen Muggleton Subsumer: A Prolog theta-subsumption engine 10.4230/LIPIcs.ICLP.2010.172
• Paulo Shakarian, V.S. Subrahmanian, and Maria Luisa Sapino Using Generalized Annotated Programs to Solve Social Network Optimization Problems 10.4230/LIPIcs.ICLP.2010.182
• Gerardo Simari and V.S. Subrahmanian Abductive Inference in Probabilistic Logic Programs 10.4230/LIPIcs.ICLP.2010.192
• Christoph Wernhard Circumscription and Projection as Primitives of Logic Programming 10.4230/LIPIcs.ICLP.2010.202
• Neda Saeedloei and Gopal Gupta Timed Definite Clause Omega-Grammars 10.4230/LIPIcs.ICLP.2010.212
• Abdulla Alqaddoumi Towards a Parallel Virtual Machine for Functional Logic Programming 10.4230/LIPIcs.ICLP.2010.222
• Mario Alviano Dynamic Magic Sets for Disjunctive Datalog Programs 10.4230/LIPIcs.ICLP.2010.226
• Andres A. Aristizabal P. Bisimilarity in Concurrent Constraint Programming 10.4230/LIPIcs.ICLP.2010.236
• Celine Dandois Program analysis for code duplication in logic programs 10.4230/LIPIcs.ICLP.2010.241
• Romain Demeyer Program Analysis to Support Concurrent Programming in Declarative Languages 10.4230/LIPIcs.ICLP.2010.248
• Christian Drescher Constraint Answer Set Programming Systems 10.4230/LIPIcs.ICLP.2010.255
• Sarah Alice Gaggl Towards a General Argumentation System based on Answer-Set Programming 10.4230/LIPIcs.ICLP.2010.265
• Hugo A. Lopez Models for Trustworthy Service and Process Oriented Systems 10.4230/LIPIcs.ICLP.2010.270
• Thierry Martinez Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints 10.4230/LIPIcs.ICLP.2010.277
• Niels Pahlavi Higher-order Logic Learning and lambda-Progol 10.4230/LIPIcs.ICLP.2010.281
• Fabio Parisini Local Branching in a Constraint Programming Framework 10.4230/LIPIcs.ICLP.2010.286
• Neda Saeedloei Logic Programming Foundations of Cyber-Physical Systems 10.4230/LIPIcs.ICLP.2010.289
• Zachary Snow Realizing the Dependently Typed Lambda Calculus 10.4230/LIPIcs.ICLP.2010.294
• Mauricio Toro-Bermudez Structured Interactive Musical Scores 10.4230/LIPIcs.ICLP.2010.300
• Jakob Zwirchmayr Cutting-Edge Timing Analysis Techniques 10.4230/LIPIcs.ICLP.2010.303