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.
Lecture Notes in Computer Science 4670 Springer 2007, ISBN 978-3-540-74608-9 BibTeX
Invited Talks
Invited Tutorials
Answer Set Programming
Applications
Constraint Logic Programming
Semantics
Program Analysis
Special Interest Paper
Implementation
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
Electronic Edition (link) BibTeX
- Andrea Calì, Thomas Lukasiewicz:
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web.
428-429
Electronic Edition (link) BibTeX
- Luciano Caroprese, Irina Trubitsyna, Ester Zumpano:
View Updating Through Active Integrity Constraints.
430-431
Electronic Edition (link) BibTeX
- Levente Hunyadi:
Prosper: A Framework for Extending Prolog Applications with a Web Interface.
432-433
Electronic Edition (link) BibTeX
- Paolo Mancarella, Giacomo Terreni, Francesca Toni:
Web Sites Verification: An Abductive Logic Programming Tool.
434-435
Electronic Edition (link) BibTeX
- Alexei A. Morozov:
Visual Logic Programming Method Based on Structural Analysis and Design Technique.
436-437
Electronic Edition (link) BibTeX
- Linh Anh Nguyen:
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.
438-439
Electronic Edition (link) BibTeX
- Emilia Oikarinen, Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
440-441
Electronic Edition (link) BibTeX
- Girish Keshav Palshikar:
Representation and Execution of a Graph Grammar in Prolog.
442-443
Electronic Edition (link) BibTeX
- Ricardo Rocha, Cláudio Silva, Ricardo Lopes:
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.
444-445
Electronic Edition (link) BibTeX
- Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen:
Aggregates in Constraint Handling Rules.
446-448
Electronic Edition (link) BibTeX
- Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
Computing Fuzzy Answer Sets Using dlvhex.
449-450
Electronic Edition (link) BibTeX
- Margaret M. West:
The Use of a Logic Programming Language in the Animation of Z Specifications.
451-452
Electronic Edition (link) BibTeX
- Ka-Shu Wong:
A Stronger Notion of Equivalence for Logic Programs.
453-454
Electronic Edition (link) BibTeX
- Neng-Fa Zhou:
A Register-Free Abstract Prolog Machine with Jumbo Instructions.
455-457
Electronic Edition (link) BibTeX
- Martin Gebser:
Advanced Techniques for Answer Set Programming.
458-459
Electronic Edition (link) BibTeX
Doctoral Consortium Presentations
Copyright © Sat May 16 23:20:26 2009
by Michael Ley (ley@uni-trier.de)