Computational Logic — CL 2000

1. Front Matter

   Pages I-XIX

   PDF

2. Invited Papers

   1. Computational Logic: Memories of the Past and Challenges for the Future

      • John Alan Robinson

      Pages 1-24

   2. ILP: Just Do It

      • David Page

      Pages 25-40

   3. Databases and Higher Types

      • Melvin Fitting

      Pages 41-52

   4. A Denotational Semantics for First-Order Logic

      • Krzysztof R. Apt

      Pages 53-69

   5. Logic, Knowledge Representation, and Bayesian Decision Theory

      • David Poole

      Pages 70-86

3. Program Development (LOPSTR)

   1. Logic Program Synthesis in a Higher-Order Setting

      • David Lacey, Julian Richardson, Alan Smail

      Pages 87-100

   2. Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction

      • Michael Leuschel, Helko Lehmann

      Pages 101-115

   3. Binary Speed Up for Logic Programs

      • Jan Hrůza, Petr Štěánek

      Pages 116-130

   4. A New Module System for Prolog

      • Daniel Cabeza, Manuel Hermenegildo

      Pages 131-148

4. Logic Programming: Theory and Extensions

   1. Partial Models of Extended Generalized Logic Programs

      • José J. Alferes, Heinrich Herre, Luís Moniz Pereira

      Pages 149-163

   2. Alternating Fixpoint Theory for Logic Programs with Priority

      • Kewen Wang, Lizhu Zhou, Fangzhen Lin

      Pages 164-178

   3. Proving Failure in Functional Logic Programs

      • Francisco J. López-Fraguas, Jaime Sánchez-Hernández

      Pages 179-193

   4. Semantics of Input-Consuming Logic Programs

      • Annalisa Bossi, Sandro Etalle, Sabina Rossi

      Pages 194-208

   5. A Denotational Semantics of Defeasible Logic

      • Michael J. Maher

      Pages 209-222

   6. Isoinitial Semantics for Logic Programs

      • Kung-Kiu Lau, Mario Ornaghi

      Pages 223-238

   7. Abstract Syntax for Variable Binders: An Overview

      • Dale Miller

      Pages 239-253

   8. Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic

      • James Harland, Tatjana Lutovac, Michael Winikoff

      Pages 254-268

   9. Efficient EM Learning with Tabulation for Parameterized Logic Programs

      • Yoshitaka Kameya, Taisuke Sato

      Pages 269-284

   10. Model Generation Theorem Proving with Finite Interval Constraints

       • Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai

       Pages 285-299

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

• Automat
• Extension
• automated deduction
• knowledge
• knowledge representation
• logic
• nonmonotonic reasoning
• programming

• The Australian National University, Australia

  John Lloyd

• Simon Fraser University, Canada

  Veronica Dahl

• Universität Koblenz, Germany

  Ulrich Furbach

• The University of Birmingham, UK

  Manfred Kerber

• University of Manchester, UK

  Kung-Kiu Lau

• The Pennsylvania State University, USA

  Catuscia Palamidessi

• Universidade Nova de Lisboa, Portugal

  Luís Moniz Pereira

• The Hebrew University of Jerusalem, Israel

  Yehoshua Sagiv

• The University of Melbourne, Australia

  Peter J. Stuckey

Policies and ethics