22. ICLP 2006:
Seattle,
WA,
USA
Sandro Etalle, Miroslaw Truszczynski (Eds.):
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings.
Lecture Notes in Computer Science 4079 Springer 2006, ISBN 3-540-36635-0 BibTeX
Invited Talks
Invited Tutorial
Theory
Functional and Constraint Logic Programming
Program Analysis
Answer-Set Programming
Special Interest Paper
Applications I
Semantics
Applications II
Poster Presentations
- Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
421-422
Electronic Edition (link) BibTeX
- Thi-Bich-Hanh Dao, Khalil Djelloul:
Solving First-Order Constraints in the Theory of the Evaluated Trees.
423-424
Electronic Edition (link) BibTeX
- Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates.
425-426
Electronic Edition (link) BibTeX
- Ricardo Rocha:
Handling Incomplete and Complete Tables in Tabled Logic Programs.
427-428
Electronic Edition (link) BibTeX
- Cláudio Silva, Ricardo Rocha, Ricardo Lopes:
An External Module for Implementing Linear Tabling in Prolog.
429-430
Electronic Edition (link) BibTeX
- Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
431-432
Electronic Edition (link) BibTeX
- Quan Phan, Gerda Janssens:
Towards Region-Based Memory Management for Mercury Programs.
433-435
Electronic Edition (link) BibTeX
- Salvador Abreu, Vítor Nogueira:
Towards Structured Contexts and Modules.
436-438
Electronic Edition (link) BibTeX
- Vítor Nogueira, Salvador Abreu:
Towards Temporal Contextual Logic Programming.
439-441
Electronic Edition (link) BibTeX
- Verónica Dahl, Baohua Gu:
Semantic Property Grammars for Knowledge Extraction from Biomedical Text.
442-443
Electronic Edition (link) BibTeX
- Juan Fernández Ortiz, Jørgen Villadsen:
Natural Language Processing Using Lexical and Logical Combinators.
444-446
Electronic Edition (link) BibTeX
- Dulce Aguilar-Solis:
Learning Semantic Parsers: A Constraint Handling Rule Approach.
447-448
Electronic Edition (link) BibTeX
- Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia:
A Declarative Framework for Security: Secure Concurrent Constraint Programming.
449-450
Electronic Edition (link) BibTeX
- Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh:
Logic Programming in Knowledge Domains.
451-452
Electronic Edition (link) BibTeX
- Paulo Moura, Vincent Marchetti:
Logtalk Processing of STEP Part 21 Files.
453-454
Electronic Edition (link) BibTeX
- Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau:
Integrating Datalog with OWL: Exploring the AL-log Approach.
455-456
Electronic Edition (link) BibTeX
- Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno:
LMNtal as a Unifying Declarative Language: Live Demonstration.
457-458
Electronic Edition (link) BibTeX
Doctoral Consortium Presentations
Copyright © Sat May 16 23:20:26 2009
by Michael Ley (ley@uni-trier.de)