Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Front Matter....Pages -
The Life of a Logic Programming System....Pages 1-6
Uniting the Prolog Community....Pages 7-8
Constraint Handling Rules....Pages 9-10
Back to Interval Temporal Logics....Pages 11-13
Systems Biology: Models and Logics....Pages 14-14
Separation Logic Tutorial....Pages 15-21
Authorization and Obligation Policies in Dynamic Systems....Pages 22-36
Twelve Definitions of a Stable Model....Pages 37-51
Sixty Years of Stable Models....Pages 52-52
The DLV Project: A Tour from Theory and Research to Applications and Market....Pages 53-68
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions....Pages 69-70
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic....Pages 71-76
SMS and ASP: Hype or TST?....Pages 77-82
Quo Vadis Answer Set Programming?....Pages 83-87
Answer Set Programming without Unstratified Negation....Pages 88-92
Here’s the Beef: Answer Set Programming !....Pages 93-98
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There....Pages 99-113
Dynamic Programming Algorithms as Products of Weighted Logic Programs....Pages 114-129
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming....Pages 130-144
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living....Pages 145-159
Lparse Programs Revisited: Semantics and Representation of Aggregates....Pages 347-361
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories....Pages 362-376
Abstract Answer Set Solvers....Pages 377-391
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming....Pages 160-174
Partial Functions and Equality in Answer Set Programming....Pages 392-406
Computable Functions in ASP: Theory and Implementation....Pages 407-424
Composing Normal Programs with Function Symbols....Pages 425-439
On the Efficient Execution of ProbLog Programs....Pages 175-189
Engineering an Incremental ASP Solver....Pages 190-205
Concurrent and Local Evaluation of Normal Programs....Pages 206-222
Verification from Declarative Specifications Using Logic Programming....Pages 440-454
Prolog Based Description Logic Reasoning....Pages 455-469
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP....Pages 223-237
 α lean TA P : A Declarative Theorem Prover for First-Order Classical Logic....Pages 238-252
Towards Ludics Programming: Interactive Proof Search....Pages 253-268
Declarative Semantics for Active Integrity Constraints....Pages 269-283
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs....Pages 284-300
Negative Ternary Set-Sharing....Pages 301-316
Termination of Narrowing Using Dependency Pairs....Pages 317-331
Dynamic Analysis of Bounds Versus Domain Propagation....Pages 332-346
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming....Pages 470-484
Optimization of CHR Propagation Rules....Pages 485-500
Termination Analysis of CHR Revisited....Pages 501-515
Transactions in Constraint Handling Rules....Pages 516-530
Cadmium: An Implementation of ACD Term Rewriting....Pages 531-545
Quantified Equilibrium Logic and Foundations for Answer Set Programs....Pages 546-560
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence....Pages 561-575
Relativized Hyperequivalence of Logic Programs for Modular Programming....Pages 576-590
Program Correspondence under the Answer-Set Semantics: The Non-ground Case....Pages 591-605
Efficient Algorithms for Functional Constraints....Pages 606-620
Two WAM Implementations of Action Rules....Pages 621-635
Constraint-Level Advice for Shaving....Pages 636-650
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism....Pages 651-666
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics....Pages 667-671
Safe Formulas in the General Theory of Stable Models (Preliminary Report)....Pages 672-676
Non-determinism and Probabilities in Timed Concurrent Constraint Programming....Pages 677-681
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming....Pages 682-686
TopLog: ILP Using a Logic Program Declarative Bias....Pages 687-692
Towards Typed Prolog....Pages 693-697
Environment Reuse in the WAM....Pages 698-702
An Algorithm for Sophisticated Code Matching in Logic Programs....Pages 785-789
Trace Analysis for Predicting the Effectiveness of Partial Evaluation....Pages 790-794
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation....Pages 795-800
Logic Engines as Interactors....Pages 703-707
Global Storing Mechanisms for Tabled Evaluation....Pages 708-712
Thread-Based Competitive Or-Parallelism....Pages 713-717
A Logic Language with Stable Model Semantics for Social Reasoning....Pages 718-723
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming....Pages 724-728
Removing Redundancy from Answer Set Programs....Pages 729-733
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming....Pages 734-738
An Implementation of Extended P-Log Using XASP....Pages 739-743
Compiling and Executing Declarative Modeling Languages to Gecode....Pages 744-748
Telecommunications Feature Subscription as a Partial Order Constraint Problem....Pages 749-753
A Constraint Logic Programming Approach to Automated Testing....Pages 754-758
Turing-Complete Subclasses of CHR....Pages 759-763
A Soft Approach to Multi-objective Optimization....Pages 764-768
Probabilistic and Concurrent Models for Security....Pages 801-802
A Multi-theory Logic Language for the World Wide Web....Pages 769-773
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)....Pages 774-778
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security....Pages 779-784
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools....Pages 803-804
Development of an Automatic Testing Environment for Mercury....Pages 805-806
Resolving CSP with Naming Games....Pages 807-808
Biosequence Analysis in PRISM....Pages 809-810
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint....Pages 811-812
Extracting and Reasoning about Web Data....Pages 813-814
Managing Quality of Service with Soft Constraints....Pages 815-817
TopLog: ILP Using a Logic Program Declarative Bias....Pages 818-819
Generalising Constraint Solving over Finite Domains....Pages 820-821
Detection of Security Vulnerabilities Using Guided Model Checking....Pages 822-823
Back Matter....Pages -