default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ICLP 2002: Copenhagen, Denmark
- Peter J. Stuckey:
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
- Bernard Boigelot, Pierre Wolper
:
Representing Arithmetic Constraints with Finite Automata: An Overview. 1-19 - Stefan Decker:
Logic Databases on the Semantic Web: Challenges and Opportunities. 20-21
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 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
