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