18. ICLP 2002:
Copenhagen,
Denmark
Peter J. Stuckey (Ed.):
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings.
Lecture Notes in Computer Science 2401 Springer 2002, ISBN 3-540-43930-7 BibTeX
@proceedings{DBLP:conf/iclp/2002,
editor = {Peter J. Stuckey},
title = {Logic Programming, 18th International Conference, ICLP 2002,
Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings},
booktitle = {ICLP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2401},
year = {2002},
isbn = {3-540-43930-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Speakers
Conference Papers
- Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer:
An Abductive Approach for Analysing Event-Based Requirements Specifications.
22-37
Electronic Edition (Springer LINK) BibTeX
- Tom Schrijvers, Maria J. García de la Banda, Bart Demoen:
Trailing Analysis for HAL.
38-53
Electronic Edition (Springer LINK) BibTeX
- Steve Barker:
Access Control for Deductive Databases by Logic Programming.
54-69
Electronic Edition (Springer LINK) BibTeX
- Michael Thielscher:
Reasoning about Actions with CHRs and Finite Domain Constraints.
70-84
Electronic Edition (Springer LINK) BibTeX
- Alexander Bockmayr, Arnaud Courtois:
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems.
85-99
Electronic Edition (Springer LINK) BibTeX
- Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan:
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.
100-114
Electronic Edition (Springer LINK) BibTeX
- Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.
115-129
Electronic Edition (Springer LINK) BibTeX
- Hasan M. Jamil, Gillian Dobbie:
A Model Theoretic Semantics for Multi-level Secure Deductive Databases.
130-147
Electronic Edition (Springer LINK) BibTeX
- Michael J. Maher:
Propagation Completeness of Reactive Constraints.
148-162
Electronic Edition (Springer LINK) BibTeX
- Henning Makholm, Konstantinos F. Sagonas:
On Enabling the WAM with Region Support.
163-178
Electronic Edition (Springer LINK) BibTeX
- Bart Demoen:
A Different Look at Garbage Collection for the WAM.
179-193
Electronic Edition (Springer LINK) BibTeX
- Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste:
Copying Garbage Collection for the WAM: To Mark or Not to Mark?
194-208
Electronic Edition (Springer LINK) BibTeX
- Harald Ganzinger, David A. McAllester:
Logical Algorithms.
209-223
Electronic Edition (Springer LINK) BibTeX
- Joachim Schimpf:
Logical Loops.
224-238
Electronic Edition (Springer LINK) BibTeX
- Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan:
Learning in Logic with RichProlog.
239-254
Electronic Edition (Springer LINK) BibTeX
- François Bry, Sebastian Schaffert:
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
255-270
Electronic Edition (Springer LINK) BibTeX
- Brigitte Pientka:
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.
271-286
Electronic Edition (Springer LINK) BibTeX
- Sorin Craciunescu:
Proving the Equivalence of CLP Programs.
287-301
Electronic Edition (Springer LINK) BibTeX
- Paola Bruscoli:
A Purely Logical Account of Sequentiality in Proof Search.
302-316
Electronic Edition (Springer LINK) BibTeX
- Katsumi Inoue, Chiaki Sakama:
Disjunctive Explanations.
317-332
Electronic Edition (Springer LINK) BibTeX
- Piero A. Bonatti:
Reasoning with Infinite Stable Models II: Disjunctive Programs.
333-346
Electronic Edition (Springer LINK) BibTeX
- Zbigniew Lonc, Miroslaw Truszczynski:
Computing Stable Models: Worst-Case Performance Estimates.
347-362
Electronic Edition (Springer LINK) BibTeX
- Yannis Dimopoulos, Andreas Sideris:
Towards Local Search for Answer Sets.
363-377
Electronic Edition (Springer LINK) BibTeX
- Pedro Cabalar:
A Rewriting Method for Well-Founded Semantics with Explicit Negation.
378-392
Electronic Edition (Springer LINK) BibTeX
- Grigoris Antoniou, Michael J. Maher:
Embedding Defeasible Logic into Logic Programs.
393-404
Electronic Edition (Springer LINK) BibTeX
- David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.
405-420
Electronic Edition (Springer LINK) BibTeX
- Henrik Bærbak Christensen:
Using Logic Programming to Detect Activities in Pervasive Healthcare.
421-436
Electronic Edition (Springer LINK) BibTeX
- Kung-Kiu Lau, Michel Vanden Bossche:
Logic Programming for Software Engineering: A Second Chance.
437-451
Electronic Edition (Springer LINK) BibTeX
- Tamás Benkö, Péter Krauth, Péter Szeredi:
A Logic-Based System for Application Integration.
452-466
Electronic Edition (Springer LINK) BibTeX
Short Papers
- Shilong Ma, Yuefei Sui, Ke Xu:
The Limits of Horn Logic Programs.
467
Electronic Edition (Springer LINK) BibTeX
- Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego:
Multi-adjoint Logic Programming: A Neural Net Approach.
468
Electronic Edition (Springer LINK) BibTeX
- Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández:
Fuzzy Prolog: A Simple General Implementation Using CLP(R).
469
Electronic Edition (Springer LINK) BibTeX
- Mireille Ducassé, Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces.
470-471
Electronic Edition (Springer LINK) BibTeX
- Petr Olmer, Petr Stepánek:
Schema-Based Transformations of Logic Programs in lambda-Prolog.
472
Electronic Edition (Springer LINK) BibTeX
- Yann Loyer, Umberto Straccia:
Non-uniform Hypothesis in Deductive Databases with Uncertainty.
473-474
Electronic Edition (Springer LINK) BibTeX
- Nicos Angelopoulos:
Probabilistic Finite Domains: A Brief Overview.
475
Electronic Edition (Springer LINK) BibTeX
- Prahladavaradan Sampath:
Modelling Multi-agent Reactive Systems.
476
Electronic Edition (Springer LINK) BibTeX
- Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga:
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming.
477
Electronic Edition (Springer LINK) BibTeX
- Gérard Ferrand, Arnaud Lallouet:
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.
478-479
Electronic Edition (Springer LINK) BibTeX
- Emmanuel Coquery, François Fages:
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.
480
Electronic Edition (Springer LINK) BibTeX
- Henning Christiansen:
Logical Grammars Based on Constraint Handling Rules.
481
Electronic Edition (Springer LINK) BibTeX
- Mauricio Osorio, Juan A. Navarro, José Arrazola:
Debugging in A-Prolog: A Logical Approach.
482-483
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:20:25 2009
by Michael Ley (ley@uni-trier.de)