The aim of the whole meeting, organized by Krzysz of Apt (president of the Association of Logic Programming), Wiktor Marek, Mirek Truszczynski and David Warren, was to get a clear picture of the current activities in Logic Programming and its role in the coming years. In the organizers' words: The aim of the meeting was: to present current research directions in Logic Programming worldwide, to analyse future research directions, to boost Logic Programming in North America, and to discuss the relation between Logic Programming and related fields. There were 13 regular talks, each scheduled for 45 minutes and followed by a fifteen-minute discussion chaired by an expert of the topic of the presentation. Sometimes very lively discussions, stimu...
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
The present article focuses on some events that contributed to the appearance and evolution of forma...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
We present the history of the conference Applications of Algebra in Logic and Computer Science, whos...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Introduction to the Technical Communications of the 26th International Conference on Logic Programmi...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
International audienceProceedings of the 24th International Conference on Inductive Logic Programmin...
Proceedings of the Tenth international conference on..., held in Budapest, Hungary, June 21-25, 199
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
The present article focuses on some events that contributed to the appearance and evolution of forma...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
We present the history of the conference Applications of Algebra in Logic and Computer Science, whos...
This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Progra...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Introduction to the Technical Communications of the 26th International Conference on Logic Programmi...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on...
International audienceProceedings of the 24th International Conference on Inductive Logic Programmin...
Proceedings of the Tenth international conference on..., held in Budapest, Hungary, June 21-25, 199
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
Book synopsis: These are the proceedings of the First International Conference on Compu- tional Logi...
The present article focuses on some events that contributed to the appearance and evolution of forma...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...