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-...
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24t...
"Where am I?" he asked as he awoke in the old familiar bed with the metal bars next to his side. The young, weathered brunette nurse slipped the old familiar plastic mask over his face, allowing the oxygen to flow through and into his lungs. "Hey there, you're back with me. Remember me?" she asked as she brushed her sweat filled hair away from her sticky cheeks with a smile, then stroked his clammy forehead. "Again? Thought we broke up already." he sighed with despair, trying to attempt a lighthearted joke to her. "Well, I guess you're going to have to do a better job of that next time, Mr....
"Where am I?" he asked as he awoke in the old familiar bed with the metal bars next to his side. The young, weathered brunette nurse slipped the old f...
