21. ICLP 2005:
Sitges,
Spain
Maurizio Gabbrielli, Gopal Gupta (Eds.):
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings.
Lecture Notes in Computer Science 3668 Springer 2005, ISBN 3-540-29208-X BibTeX
- Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
1-4
Electronic Edition (link) BibTeX
- Francesca Rossi:
Preference Reasoning.
5-8
Electronic Edition (link) BibTeX
- Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
9-13
Electronic Edition (link) BibTeX
- Walter G. Wilson:
Use of Logic Programming for Complex Business Rules.
14-20
Electronic Edition (link) BibTeX
- José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo:
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.
21-36
Electronic Edition (link) BibTeX
- Enrico Giunchiglia, Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
37-51
Electronic Edition (link) BibTeX
- Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving.
52-66
Electronic Edition (link) BibTeX
- Agostino Dovier, Andrea Formisano, Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
67-82
Electronic Edition (link) BibTeX
- Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard and Continuation Optimization for Occurrence Representations of CHR.
83-97
Electronic Edition (link) BibTeX
- Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Coordination of Many Agents.
98-112
Electronic Edition (link) BibTeX
- Thom W. Frühwirth:
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
113-127
Electronic Edition (link) BibTeX
- Jan Wielemaker:
An Optimised Semantic Web Query Language Implementation in Prolog.
128-142
Electronic Edition (link) BibTeX
- Luca Bortolussi, Herbert Wiklicky:
A Distributed and Probabilistic Concurrent Constraint Programming Language.
143-158
Electronic Edition (link) BibTeX
- Henning Christiansen, Verónica Dahl:
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.
159-173
Electronic Edition (link) BibTeX
- Michael J. Maher:
Abduction of Linear Arithmetic Constraints.
174-188
Electronic Edition (link) BibTeX
- Hans Tompits, Stefan Woltran:
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.
189-203
Electronic Edition (link) BibTeX
- Emad Saad, Enrico Pontelli:
Hybrid Probabilistic Logic Programs with Non-monotonic Negation.
204-220
Electronic Edition (link) BibTeX
- Nikolay Pelov, Eugenia Ternovska:
Reducing Inductive Definitions to Propositional Satisfiability.
221-234
Electronic Edition (link) BibTeX
- Diptikalyan Saha, C. R. Ramakrishnan:
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.
235-249
Electronic Edition (link) BibTeX
- Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.
250-264
Electronic Edition (link) BibTeX
- Bernd Braßel, Michael Hanus:
Nondeterminism Analysis of Functional Logic Programs.
265-279
Electronic Edition (link) BibTeX
- John P. Gallagher, Kim S. Henriksen, Gourinath Banda:
Techniques for Scaling Up Analyses Based on Pre-interpretations.
280-296
Electronic Edition (link) BibTeX
- Ajay Mallya:
Deductive Multi-valued Model Checking.
297-310
Electronic Edition (link) BibTeX
- Manh Thang Nguyen, Danny De Schreye:
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.
311-325
Electronic Edition (link) BibTeX
- Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Testing for Termination with Monotonicity Constraints.
326-340
Electronic Edition (link) BibTeX
- João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
A Well-Founded Semantics with Disjunction.
341-355
Electronic Edition (link) BibTeX
- Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Semantics of Framed Temporal Logic Programs.
356-370
Electronic Edition (link) BibTeX
- Gopalan Nadathur, Natalie Linnell:
Practical Higher-Order Pattern Unification with On-the-Fly Raising.
371-386
Electronic Edition (link) BibTeX
- Susmit Sarkar, Brigitte Pientka, Karl Crary:
Small Proof Witnesses for LF.
387-401
Electronic Edition (link) BibTeX
- Emmanuel Coquery, François Fages:
A Type System for CHR.
402-403
Electronic Edition (link) BibTeX
- Thomas Kleemann, Alex Sinner:
Decision Support for Personalization on Mobile Devices.
404-406
Electronic Edition (link) BibTeX
- Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs.
407-409
Electronic Edition (link) BibTeX
- Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.
410-411
Electronic Edition (link) BibTeX
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
Modeling Systems in CLP.
412-413
Electronic Edition (link) BibTeX
- Christos Nomikos, Panos Rondogiannis, William W. Wadge:
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.
414-415
Electronic Edition (link) BibTeX
- Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa:
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
416-417
Electronic Edition (link) BibTeX
- Alexandre S. Saidi:
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process.
418-420
Electronic Edition (link) BibTeX
- Tony Lambert, Carlos Castro, Eric Monfroy, María-Cristina Riff, Frédéric Saubion:
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.
421-423
Electronic Edition (link) BibTeX
- Michel Ferreira:
The MYDDAS Project: Using a Deductive Database for Traffic Characterization.
424-426
Electronic Edition (link) BibTeX
- Gergely Lukácsy, Zsolt Nagy:
Open World Reasoning in Datalog.
427-428
Electronic Edition (link) BibTeX
- András Gyorgy Békés:
Optimizing Queries for Heterogeneous Information Sources.
429-430
Electronic Edition (link) BibTeX
- Marcus Vinicius Santos:
Denotational Semantics Using Horn Concurrent Transaction Logic.
431-432
Electronic Edition (link) BibTeX
- Ludovic Langevine:
Gentra4cp: A Generic Trace Format for Constraint Programming.
433-434
Electronic Edition (link) BibTeX
- Tom Schrijvers:
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.
435-436
Electronic Edition (link) BibTeX
- Federico Chesani:
Formalization and Verification of Interaction Protocols.
437-438
Electronic Edition (link) BibTeX
- Ricardo Corin, Ari Saptawijaya, Sandro Etalle:
PS-LTL for Constraint-Based Security Protocol Analysis.
439-440
Electronic Edition (link) BibTeX
- Luca Bortolussi:
Concurrent Methodologies for Global Optimization.
441-443
Electronic Edition (link) BibTeX
- Vítor Nogueira:
A Temporal Programming Language for Heterogeneous Information Systems.
444-445
Electronic Edition (link) BibTeX
- Roman Schindlauer:
Nonmonotonic Logic Programs for the Semantic Web.
446-447
Electronic Edition (link) BibTeX
- Rémy Haemmerlé:
ICLP 2005 Doctoral Consortium.
448-449
Electronic Edition (link) BibTeX
- Jon Sneyers:
Analysis and Optimization of CHR Programs.
450-451
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:20:26 2009
by Michael Ley (ley@uni-trier.de)
