17. ICLP 2001: Paphos, Cyprus

Invited Speakers

• Alain Colmerauer:
  Solving the Multiplication Constraint in Several Approximation Spaces. 1
  
• Robert A. Kowalski:
  Is Logic Really Dead or Only Just Sleeping? 2-3
  
• Patrick Cousot:
  Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. 4-5
  
• Ashish Gupta:
  X-tegration - Some Cross-Enterprise Thoughts. 6
  

Tutorials

• Jan Wielemaker:
  Building Real-Life Applications with Prolog. 7
  
• Eric Villemonte de la Clergerie:
  Natural Language Tabular Parsing. 8
  
• Kazunori Ueda:
  A Close Look at Constraint-Based Concurrency. 9
  
• V. S. Subrahmanian:
  Probabilistic Databases and Logic Programming. 10
  

Conference Papers

• Luís Fernando Castro, Vítor Santos Costa:
  Understanding Memory Management in Prolog Systems. 11-26
  
• Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
  PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. 27-42
  
• Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
  On a Tabling Engine That Can Exploit Or-Parallelism. 43-58
  
• Nicolas Beldiceanu, Mats Carlsson:
  Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. 59-73
  
• Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey:
  Optimizing Compilation of Constraint Handling Rules. 74-89
  
• Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur:
  Building Constraint Solvers with HAL. 90-104
  
• Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe:
  Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. 105-119
  
• Jacob M. Howe, Andy King:
  Positive Boolean Functions as Multiheaded Clauses. 120-134
  
• Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey:
  Higher-Precision Groundness Analysis. 135-149
  
• Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Speculative Beats Conservative Justification. 150-165
  
• Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma:
  Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. 166-180
  
• Hai-Feng Guo, Gopal Gupta:
  A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. 181-196
  
• Zbigniew Lonc, Miroslaw Truszczynski:
  Fixed-Parameter Complexity of Semantics for Logic Programs. 197-211
  
• Marc Denecker, Nikolay Pelov, Maurice Bruynooghe:
  Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. 212-226
  
• K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka:
  Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. 227-241
  
• Esra Erdem, Vladimir Lifschitz:
  Fages' Theorem for Programs with Nested Expressions. 242-254
  
• Fernando Orejas, Edelmira Pasarella, Elvira Pino:
  Semantics of Normal Logic Programs with Embedded Implications. 255-268
  
• Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
  A Multi-adjoint Logic Approach to Abductive Reasoning. 269-283
  
• Wlodzimierz Drabent, Miroslawa Milkowska:
  Proving Correctness and Completeness of Normal Programs - A Declarative Approach. 284-299
  
• Ken Kaneiwa, Satoshi Tojo:
  An Order-Sorted Resolution with Implicitly Negative Sorts. 300-314
  
• Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura:
  Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. 315-330
  
• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández:
  A Computational Model for Functional Logic Deductive Databases. 331-347
  
• Gianluigi Greco, Sergio Greco, Ester Zumpano:
  A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. 348-364
  

Last update Wed May 22 23:58:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page