Logic program transformation through generalization schemata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1048, Issue , 1996, Pages 171-173

  Flener, Pierre ^a   Deville, Yves ^b  

^a BILKENT UNIVERSITY   (Turkey)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949211723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60939-3_13     Document Type: Conference Paper

References (4)

1. [1] Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.
2. [2] P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer, 1995.
3. [3] P. Flener and Y. Deville. Logic Program Transformation through Generalization Schemata. TR BU-CEIS-95xx, Bilkent University, Ankara (Turkey), 1995.
4. [4] N.E. Fuchs and M.P.J. Fromherz. Schema-based transformations of logic programs. In Clement and Lau (eds), Proc. Of LOPSTR'91, pp. 111-125. Springer-Verlag, 1992.