These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

Invited Papers.- The Role of Declarative Languages in Mining Biological Databases.- The Continue ...

Logic grammars have found wide application both in natural language processing and in formal appl...

Invited Talks.- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Appl...

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th annive...