23. ICLP 2007: Porto, Portugal

Invited Talks

• Chitta Baral, Juraj Dzifcak, Luis Tari:
  Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. 1-21
  
• Gerhard Brewka:
  Preferences, Contexts and Answer Sets. 22
  

Invited Tutorials

• Thomas Eiter:
  Answer Set Programming for the Semantic Web. 23-26
  
• Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya:
  Coinductive Logic Programming and Its Applications. 27-44
  
• Michael Hanus:
  Multi-paradigm Declarative Languages. 45-75
  
• Miroslaw Truszczynski:
  Logic Programming for Knowledge Representation. 76-88
  

Answer Set Programming

• Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo:
  On Finitely Recursive Programs. 89-103
  
• Pedro Cabalar, David Pearce, Agustín Valverde:
  Minimal Logic Programs. 104-118
  
• Martin Gebser, Torsten Schaub:
  Generic Tableaux for Answer Set Programming. 119-133
  
• Matti Järvisalo, Emilia Oikarinen:
  Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. 134-148
  

Applications

• Sergio Greco, Cristian Molinaro:
  Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. 149-164
  
• Gulay Ünel, David Toman:
  Logic Programming Approach to Automata-Based Decision Procedures. 165-179
  
• Paul Tarau, Brenda Luderman:
  A Logic Programming Framework for Combinational Circuit Synthesis. 180-194
  
• David Vaz, Michel Ferreira, Ricardo Lopes:
  Spatial-Yap: A Logic-Based Geographic Information System. 195-208
  

Constraint Logic Programming

• Leslie De Koninck, Tom Schrijvers, Bart Demoen:
  The Correspondence Between the Logical Algorithms Language and CHR. 209-223
  
• Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann:
  Observable Confluence for Constraint Handling Rules. 224-239
  
• Frank Raiser:
  Graph Transformation Systems in CHR. 240-254
  
• Agostino Dovier, Andrea Formisano, Enrico Pontelli:
  Multivalued Action Languages with Constraints in CLP(FD). 255-270
  

Semantics

• Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
  Declarative Diagnosis of Temporal Concurrent Constraint Programs. 271-285
  
• Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
  Logic Programs with Abstract Constraint Atoms: The Role of Computations. 286-301
  

Program Analysis

• Lee Naish:
  Resource-Oriented Deadlock Analysis. 302-316
  
• Quan Phan, Gerda Janssens:
  Static Region Analysis for Mercury. 317-332
  
• Pawel Pietrzak, Manuel V. Hermenegildo:
  Automatic Binding-Related Error Diagnosis in Logic Programs. 333-347
  
• Jorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo:
  User-Definable Resource Bounds Analysis for Logic Programs. 348-363
  
• Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
  Automatic Correctness Proofs for Logic Program Transformations. 364-379
  

Special Interest Paper

• Marcin Czenko, Sandro Etalle:
  Core TuLiP Logic Programming for Trust Management. 380-394
  

Implementation

• Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes:
  Demand-Driven Indexing of Prolog Clauses. 395-409
  
• Anderson Faustino da Silva, Vítor Santos Costa:
  Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. 410-424
  

Poster Presentations

• Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
  Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. 425-427
  
• Andrea Calì, Thomas Lukasiewicz:
  Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. 428-429
  
• Luciano Caroprese, Irina Trubitsyna, Ester Zumpano:
  View Updating Through Active Integrity Constraints. 430-431
  
• Levente Hunyadi:
  Prosper: A Framework for Extending Prolog Applications with a Web Interface. 432-433
  
• Paolo Mancarella, Giacomo Terreni, Francesca Toni:
  Web Sites Verification: An Abductive Logic Programming Tool. 434-435
  
• Alexei A. Morozov:
  Visual Logic Programming Method Based on Structural Analysis and Design Technique. 436-437
  
• Linh Anh Nguyen:
  Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. 438-439
  
• Emilia Oikarinen, Tomi Janhunen:
  A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. 440-441
  
• Girish Keshav Palshikar:
  Representation and Execution of a Graph Grammar in Prolog. 442-443
  
• Ricardo Rocha, Cláudio Silva, Ricardo Lopes:
  On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. 444-445
  
• Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen:
  Aggregates in Constraint Handling Rules. 446-448
  
• Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
  Computing Fuzzy Answer Sets Using dlvhex. 449-450
  
• Margaret M. West:
  The Use of a Logic Programming Language in the Animation of Z Specifications. 451-452
  
• Ka-Shu Wong:
  A Stronger Notion of Equivalence for Logic Programs. 453-454
  
• Neng-Fa Zhou:
  A Register-Free Abstract Prolog Machine with Jumbo Instructions. 455-457
  
• Martin Gebser:
  Advanced Techniques for Answer Set Programming. 458-459
  

Doctoral Consortium Presentations

• Jonty Needham, Marina De Vos:
  A Games Semantics of ASP. 460-461
  
• Emilia Oikarinen:
  Modular Answer Set Programming. 462-463
  
• Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
  Universal Timed Concurrent Constraint Programming. 464-465
  
• Peter Van Weert:
  Extension and Implementation of CHR. 466-468