Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

by John Lloyd (editor), Veronica Dahl (Editor), Ulrich Furbach (Editor)

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.

Kindle Edition

First published October 15, 2000

About the author

John Hardress Wilfred Lloyd is an English television and radio comedy producer and writer. His television work includes Not the Nine O'Clock News, The Hitchhiker's Guide to the Galaxy, Spitting Image, Blackadder and QI. He is currently the presenter of BBC Radio 4's The Museum of Curiosity.