This volume contains papers presented at WLPE 2003, the 13th Interna-tional Workshop on Logic Programming Environments. The aim of WLPE is to provide an informal meeting for researchers working on tools for development and analysis of logic programming. This year, the emphasis is on the presenta-tion, pragmatics and experiences of such tools. WLPE 2003 takes place in Tata Institute of Fundamental Research, Mum-bai, India on December 8 and is a part of a bigger event, ICLP 2003, the 19th International Conference on Logic Programming, holding in conjunction wit
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
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 ...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
17th International Workshop on Logic-based methods in Programming Environments (WLPE'07
This volume contains the Technical Communications presented at the 39th International Conference on ...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
The aim of the whole meeting, organized by Krzysz of Apt (president of the Association of Logic Prog...
none2This book constitutes the refereed proceedings of the 21st International Conference on Logic an...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
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 ...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
17th International Workshop on Logic-based methods in Programming Environments (WLPE'07
This volume contains the Technical Communications presented at the 39th International Conference on ...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...
The aim of the whole meeting, organized by Krzysz of Apt (president of the Association of Logic Prog...
none2This book constitutes the refereed proceedings of the 21st International Conference on Logic an...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
ICLP is the premier international event for presenting research in logic programming. Contributions ...
Orlando, Florida: Academic Press,Inc., 1982. includes bibliography and index p. [341]-361. Based on ...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...