Tutorial notes: Reasoning about logic programs-Reference-Cited by-同舟云学术

Tutorial notes: Reasoning about logic programs

Published:1992 Issue: Volume: Page:252-277
ISSN:0302-9743
Container-title:Logic Programming in Action
language:
Short-container-title:

Author:

Bundy Alan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55930-2_18.pdf

Reference9 articles.

1. Tutorial given at ICLP-86, Seattle;M. Bruynooghe,1986

2. Bundy, A., Smaill, A. and Hesketh, J. (1990). Turning eureka steps into calculations in automatic program synthesis. In Clarke, S.L.H., (ed.), Proceedings of UK IT 90, pages 221–6. Also available from Edinburgh as DAI Research Paper 448.

3. Bundy, A., Stevens, A., van Harmelen, F., Ireland, A. and Smaill, A. (1991). Rippling: A heuristic for guiding inductive proofs. Research Paper 567, Dept. of Artificial Intelligence, Edinburgh, To appear in Artificial Intelligence.

4. De Schreye, K. D. and Verschaetse. (1992). Termination of logic programs: Tutorial notes. Technical Report CW-report 148, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, To appear in the proceedings of Meta-92.

5. Deville, Y. (1990). Logic programming: systematic program development. Addison-Wesley Pub. Co.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Capturing and matching dynamic behaviour in case-based reasoning;Progress in Case-Based Reasoning;1995

2. Case-based support for the design of dynamic system requirements;Lecture Notes in Computer Science;1995

3. Logic frameworks for logic programs;Logic Program Synthesis and Transformation — Meta-Programming in Logic;1994