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

Bernard Boigelot, Pierre Wolper:
Representing Arithmetic Constraints with Finite Automata: An Overview. 1-19
Electronic Edition (Springer LINK) BibTeX
Stefan Decker:
Logic Databases on the Semantic Web: Challenges and Opportunities. 20-21
Electronic Edition (Springer LINK) BibTeX

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