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