Logic Programming

Aggregates.- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.- Abstract Answer Set Solvers.- Partial Functions and Equality in Answer Set Programming.- Computable Functions in ASP: Theory and Implementation.- Composing Normal Programs with Function Symbols.- Verification from Declarative Specifications Using Logic Programming.- Prolog Based Description Logic Reasoning.- Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming.- Optimization of CHR Propagation Rules.- Termination Analysis of CHR Revisited.- Transactions in Constraint Handling Rules.- Cadmium: An Implementation of ACD Term Rewriting.- Quantified Equilibrium Logic and Foundations for Answer Set Programs.- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.- Relativized Hyperequivalence of Logic Programs for Modular Programming.- Program Correspondence under the Answer-Set Semantics: The Non-ground Case.- Efficient Algorithms for Functional Constraints.- Two WAM Implementations of Action Rules.- Constraint-Level Advice for Shaving.- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.- Short Papers.- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.- Safe Formulas in the General Theory of Stable Models (Preliminary Report).- Non-determinism and Probabilities in Timed Concurrent Constraint Programming.- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.- TopLog: ILP Using a Logic Program Declarative Bias.- Towards Typed Prolog.- Environment Reuse in the WAM.- Logic Engines as Interactors.- Global Storing Mechanisms for Tabled Evaluation.- Thread-Based Competitive Or-Parallelism.- A Logic Language with Stable Model Semantics for Social Reasoning.- ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.- Removing Redundancy from Answer Set Programs.- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.- An Implementation of Extended P-Log Using XASP.- Compiling and Executing Declarative Modeling Languages to Gecode.- Telecommunications Feature Subscription as a Partial Order Constraint Problem.- A Constraint Logic Programming Approach to Automated Testing.- Turing-Complete Subclasses of CHR.- A Soft Approach to Multi-objective Optimization.- A Multi-theory Logic Language for the World Wide Web.- A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract).- Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security.- An Algorithm for Sophisticated Code Matching in Logic Programs.- Trace Analysis for Predicting the Effectiveness of Partial Evaluation.- A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.- Probabilistic and Concurrent Models for Security.- On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools.- Development of an Automatic Testing Environment for Mercury.- Resolving CSP with Naming Games.- Biosequence Analysis in PRISM.- Bi-dimensional Domains for the Non-overlapping Rectangles Constraint.- Extracting and Reasoning about Web Data.- Managing Quality of Service with Soft Constraints.- TopLog: ILP Using a Logic Program Declarative Bias.- GeneralisingConstraint Solving over Finite Domains.- Detection of Security Vulnerabilities Using Guided Model Checking.