Skip to main content
Springer Nature Link
Log in

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. John Lloyd

    1. The Australian National University, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Veronica Dahl

    1. Simon Fraser University, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ulrich Furbach

    1. Universität Koblenz, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Manfred Kerber

    1. The University of Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Kung-Kiu Lau

    1. University of Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Catuscia Palamidessi

    1. The Pennsylvania State University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Luís Moniz Pereira

    1. Universidade Nova de Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. Yehoshua Sagiv

    1. The Hebrew University of Jerusalem, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  9. Peter J. Stuckey

    1. The University of Melbourne, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1861)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CL 2000.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (91 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter 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
Back to top

Other volumes

  1. Computational Logic — CL 2000

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation