24. ICLP 2008: Udine, Italy

Maria Garcia de la Banda, Enrico Pontelli (Eds.): Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366 Springer 2008, ISBN 978-3-540-89981-5 BibTeX

Invited Talk

Vítor Santos Costa:
The Life of a Logic Programming System. 1-6
Electronic Edition (link) BibTeX

Special Session

Tom Schrijvers, Bart Demoen:
Uniting the Prolog Community. 7-8
Electronic Edition (link) BibTeX

Invited Tutorials

Tom Schrijvers:
Constraint Handling Rules. 9-10
Electronic Edition (link) BibTeX
Angelo Montanari:
Back to Interval Temporal Logics. 11-13
Electronic Edition (link) BibTeX
Carla Piazza, Alberto Policriti:
Systems Biology: Models and Logics. 14
Electronic Edition (link) BibTeX
Peter W. O'Hearn:
Separation Logic Tutorial. 15-21
Electronic Edition (link) BibTeX

20 Years of Stable Models Semantics Celebration

Invited Presentations

Michael Gelfond, Jorge Lobo:
Authorization and Obligation Policies in Dynamic Systems. 22-36
Electronic Edition (link) BibTeX
Vladimir Lifschitz:
Twelve Definitions of a Stable Model. 37-51
Electronic Edition (link) BibTeX
David Pearce:
Sixty Years of Stable Models. 52
Electronic Edition (link) BibTeX
Nicola Leone, Wolfgang Faber:
The DLV Project: A Tour from Theory and Research to Applications and Market. 53-68
Electronic Edition (link) BibTeX

Invited Position Presentations

Chitta Baral:
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. 69-70
Electronic Edition (link) BibTeX
Marc Denecker, Joost Vennekens:
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. 71-76
Electronic Edition (link) BibTeX
Thomas Eiter:
SMS and ASP: Hype or TST?. 77-82
Electronic Edition (link) BibTeX
Victor W. Marek:
Quo Vadis Answer Set Programming? 83-87
Electronic Edition (link) BibTeX
Ilkka Niemelä:
Answer Set Programming without Unstratified Negation. 88-92
Electronic Edition (link) BibTeX
Torsten Schaub:
Here's the Beef: Answer Set Programming ! 93-98
Electronic Edition (link) BibTeX

Best Paper Awardees

Michael Fink:
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. 99-113
Electronic Edition (link) BibTeX
Shay B. Cohen, Robert J. Simmons, Noah A. Smith:
Dynamic Programming Algorithms as Products of Weighted Logic Programs. 114-129
Electronic Edition (link) BibTeX

Regular Papers

Applications I

Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. 130-144
Electronic Edition (link) BibTeX
Alessandra Mileo, Davide Merico, Roberto Bisiani:
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. 145-159
Electronic Edition (link) BibTeX
Georg Boenn, Martin Brain, Marina De Vos, John Fitch:
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. 160-174
Electronic Edition (link) BibTeX

Algorithms, Systems, and Implementations I

Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt:
On the Efficient Execution of ProbLog Programs. 175-189
Electronic Edition (link) BibTeX
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele:
Engineering an Incremental ASP Solver. 190-205
Electronic Edition (link) BibTeX
Rui Marques, Terrance Swift:
Concurrent and Local Evaluation of Normal Programs. 206-222
Electronic Edition (link) BibTeX

Semantics and Foundations I

Victor W. Marek, Jeffrey B. Remmel:
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. 223-237
Electronic Edition (link) BibTeX
Joseph P. Near, William E. Byrd, Daniel P. Friedman:
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. 238-252
Electronic Edition (link) BibTeX
Alexis Saurin:
Towards Ludics Programming: Interactive Proof Search. 253-268
Electronic Edition (link) BibTeX
Luciano Caroprese, Miroslaw Truszczynski:
Declarative Semantics for Active Integrity Constraints. 269-283
Electronic Edition (link) BibTeX

Analysis and Transformations

Valerio Senni, Alberto Pettorossi, Maurizio Proietti:
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. 284-300
Electronic Edition (link) BibTeX
Eric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo:
Negative Ternary Set-Sharing. 301-316
Electronic Edition (link) BibTeX
María Alpuente, Santiago Escobar, José Iborra:
Termination of Narrowing Using Dependency Pairs. 317-331
Electronic Edition (link) BibTeX
Christian Schulte, Peter J. Stuckey:
Dynamic Analysis of Bounds Versus Domain Propagation. 332-346
Electronic Edition (link) BibTeX

Semantics and Foundations II

Guohua Liu, Jia-Huai You:
Lparse Programs Revisited: Semantics and Representation of Aggregates. 347-361
Electronic Edition (link) BibTeX
Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock:
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. 362-376
Electronic Edition (link) BibTeX
Yuliya Lierler:
Abstract Answer Set Solvers. 377-391
Electronic Edition (link) BibTeX

Semantics and Foundations III

Pedro Cabalar:
Partial Functions and Equality in Answer Set Programming. 392-406
Electronic Edition (link) BibTeX
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
Computable Functions in ASP: Theory and Implementation. 407-424
Electronic Edition (link) BibTeX
Sabrina Baselice, Piero A. Bonatti:
Composing Normal Programs with Function Symbols. 425-439
Electronic Edition (link) BibTeX

Applications II

Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. 440-454
Electronic Edition (link) BibTeX
Gergely Lukácsy, Péter Szeredi, Balázs Kádár:
Prolog Based Description Logic Reasoning. 455-469
Electronic Edition (link) BibTeX
Luca Benini, Davide Bertozzi, Michela Milano:
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. 470-484
Electronic Edition (link) BibTeX

CHRs and Extensions

Peter Van Weert:
Optimization of CHR Propagation Rules. 485-500
Electronic Edition (link) BibTeX
Paolo Pilozzi, Danny De Schreye:
Termination Analysis of CHR Revisited. 501-515
Electronic Edition (link) BibTeX
Tom Schrijvers, Martin Sulzmann:
Transactions in Constraint Handling Rules. 516-530
Electronic Edition (link) BibTeX
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting. 531-545
Electronic Edition (link) BibTeX

Semantics and Foundations IV

David Pearce, Agustín Valverde:
Quantified Equilibrium Logic and Foundations for Answer Set Programs. 546-560
Electronic Edition (link) BibTeX
Jörg Pührer, Hans Tompits, Stefan Woltran:
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. 561-575
Electronic Edition (link) BibTeX
Miroslaw Truszczynski, Stefan Woltran:
Relativized Hyperequivalence of Logic Programs for Modular Programming. 576-590
Electronic Edition (link) BibTeX
Johannes Oetsch, Hans Tompits:
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. 591-605
Electronic Edition (link) BibTeX

Algorithms, Systems, and Implementations II

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
Efficient Algorithms for Functional Constraints. 606-620
Electronic Edition (link) BibTeX
Bart Demoen, Phuong-Lan Nguyen:
Two WAM Implementations of Action Rules. 621-635
Electronic Edition (link) BibTeX
Radoslaw Szymanek, Christophe Lecoutre:
Constraint-Level Advice for Shaving. 636-650
Electronic Edition (link) BibTeX
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. 651-666
Electronic Edition (link) BibTeX

Short Papers

Semantics and Foundations

Fabrizio Riguzzi:
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. 667-671
Electronic Edition (link) BibTeX
Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
Safe Formulas in the General Theory of Stable Models (Preliminary Report). 672-676
Electronic Edition (link) BibTeX
Jorge A. Pérez, Camilo Rueda:
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. 677-681
Electronic Edition (link) BibTeX
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. 682-686
Electronic Edition (link) BibTeX
Stephen Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad:
TopLog: ILP Using a Logic Program Declarative Bias. 687-692
Electronic Edition (link) BibTeX

Implementations and Systems

Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen:
Towards Typed Prolog. 693-697
Electronic Edition (link) BibTeX
Bart Demoen, Phuong-Lan Nguyen:
Environment Reuse in the WAM. 698-702
Electronic Edition (link) BibTeX
Paul Tarau:
Logic Engines as Interactors. 703-707
Electronic Edition (link) BibTeX
Jorge Costa, Ricardo Rocha:
Global Storing Mechanisms for Tabled Evaluation. 708-712
Electronic Edition (link) BibTeX
Paulo Moura, Ricardo Rocha, Sara C. Madeira:
Thread-Based Competitive Or-Parallelism. 713-717
Electronic Edition (link) BibTeX

Answer Set Programming and Extensions

Francesco Buccafurri, Gianluca Caminiti, Rosario Laurendi:
A Logic Language with Stable Model Semantics for Social Reasoning. 718-723
Electronic Edition (link) BibTeX
Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. 724-728
Electronic Edition (link) BibTeX
Tomi Janhunen:
Removing Redundancy from Answer Set Programs. 729-733
Electronic Edition (link) BibTeX
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran:
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. 734-738
Electronic Edition (link) BibTeX
Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio:
An Implementation of Extended P-Log Using XASP. 739-743
Electronic Edition (link) BibTeX

Constraints, Optimizations, and Applications

Raffaele Cipriano, Agostino Dovier, Jacopo Mauro:
Compiling and Executing Declarative Modeling Languages to Gecode. 744-748
Electronic Edition (link) BibTeX
Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Telecommunications Feature Subscription as a Partial Order Constraint Problem. 749-753
Electronic Edition (link) BibTeX
Hakim Belhaouari, Frédéric Peschanski:
A Constraint Logic Programming Approach to Automated Testing. 754-758
Electronic Edition (link) BibTeX
Jon Sneyers:
Turing-Complete Subclasses of CHR. 759-763
Electronic Edition (link) BibTeX
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon:
A Soft Approach to Multi-objective Optimization. 764-768
Electronic Edition (link) BibTeX

Applications

Giulio Piancastelli, Andrea Omicini:
A Multi-theory Logic Language for the World Wide Web. 769-773
Electronic Edition (link) BibTeX
Sebastien Siva, James J. Lu, Hantao Zhang:
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). 774-778
Electronic Edition (link) BibTeX
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro:
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. 779-784
Electronic Edition (link) BibTeX

Analysis, Transformations, and Implementations

Wim Vanhoof, François Degrave:
An Algorithm for Sophisticated Code Matching in Logic Programs. 785-789
Electronic Edition (link) BibTeX
Germán Vidal:
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. 790-794
Electronic Edition (link) BibTeX
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. 795-800
Electronic Edition (link) BibTeX

Doctoral Consortium Presentations

Romain Beauxis:
Probabilistic and Concurrent Models for Security. 801-802
Electronic Edition (link) BibTeX
Raffaele Cipriano:
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. 803-804
Electronic Edition (link) BibTeX
François Degrave:
Development of an Automatic Testing Environment for Mercury. 805-806
Electronic Edition (link) BibTeX
Giorgio Gosti:
Resolving CSP with Naming Games. 807-808
Electronic Edition (link) BibTeX
Ole Torp Lassen:
Biosequence Analysis in PRISM. 809-810
Electronic Edition (link) BibTeX
Fabio Parisini:
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint. 811-812
Electronic Edition (link) BibTeX
Giovanni Pirrotta:
Extracting and Reasoning about Web Data. 813-814
Electronic Edition (link) BibTeX
Francesco Santini:
Managing Quality of Service with Soft Constraints. 815-817
Electronic Edition (link) BibTeX
José Carlos Almeida Santos:
TopLog: ILP Using a Logic Program Declarative Bias. 818-819
Electronic Edition (link) BibTeX
Markus Triska:
Generalising Constraint Solving over Finite Domains. 820-821
Electronic Edition (link) BibTeX
Aliaksei Tsitovich:
Detection of Security Vulnerabilities Using Guided Model Checking. 822-823
Electronic Edition (link) BibTeX