23. ICLP 2007: Porto, Portugal
Verónica Dahl, Ilkka Niemelä (Eds.): Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-74608-9
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
- 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
- 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
- Pawel Pietrzak, Manuel V. Hermenegildo: Automatic Binding-Related Error Diagnosis in Logic Programs. 333-347
- Jorge A. 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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team