21. ICLP 2005:
Sitges, Spain
Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
1-4
Thom W. Frühwirth:
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
113-127
Jan Wielemaker:
An Optimised Semantic Web Query Language Implementation in Prolog.
128-142
Ajay Mallya:
Deductive Multi-valued Model Checking.
297-310
Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.
410-411
Alexandre S. Saidi:
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process.
418-420
Michel Ferreira:
The MYDDAS Project: Using a Deductive Database for Traffic Characterization.
424-426
Ludovic Langevine:
Gentra4cp: A Generic Trace Format for Constraint Programming.
433-434
Tom Schrijvers:
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.
435-436
Federico Chesani:
Formalization and Verification of Interaction Protocols.
437-438
Vítor Nogueira:
A Temporal Programming Language for Heterogeneous Information Systems.
444-445
Rémy Haemmerlé:
SiLCC Is Linear Concurrent Constraint Programming.
448-449
Jon Sneyers:
Analysis and Optimization of CHR Programs.
450-451
data released under the ODC-BY 1.0 license
