Knowledge Representation in a Proof Checker for Logic Programs
暂无分享,去创建一个
Emmanouil I. Marakakis | Nikos Papadakis | Haridimos Kondylakis | Emmanouil Marakakis | H. Kondylakis | N. Papadakis
[1] John P. Gallagher,et al. Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types , 1994, LOPSTR.
[2] Peter A. Lindsay,et al. A survey of mechanical support for formal reasoning , 1988, Softw. Eng. J..
[3] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[4] John W. Lloyd,et al. The Gödel programming language , 1994 .
[5] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[6] John W. Lloyd,et al. Practical Advtanages of Declarative Programming , 1994, GULP-PRODE.
[7] Εμμανουηλ Μαρακακησ. LOGIC PROGRAM DEVELOPMENT BASED ON TYPED,MODED SCHEMATA AND DATA TYPES , 1997 .
[8] John P. Gallagher,et al. Tutorial on specialisation of logic programs , 1993, PEPM '93.
[9] P. M. Hill,et al. Meta-Programming in Logic Progamming , 1998 .
[10] D W Loveland,et al. Automated theorem proving: mapping logic into AI , 1986, ISMIS '86.
[11] Emmanouil I. Marakakis. Guided Correctness Proofs of Logic Programs , 2005, Artificial Intelligence and Applications.