default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd ICLP 2007: Porto, Portugal
- Verónica Dahl, Ilkka Niemelä:
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Lecture Notes in Computer Science 4670, Springer 2007, 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
- 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 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
- Marcin Czenko, Sandro Etalle:
Core TuLiP Logic Programming for Trust Management. 380-394
Implementation
- Vítor Santos Costa, Konstantinos 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
