Logic programming and software maintenance

Annals of Mathematics and Artificial Intelligence

Volumn 21, Issue 2-4, 1997, Pages 221-229

  Cooke, Daniel ^a   Luqi, ^b  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

^b NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21944444631     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018917502968     Document Type: Article

References (14)

1. K. Apt and H. Blair, Arithmetic classification of perfect models of stratified programs, Fundamenta Informaticae 13 (1990) 1-18.
2. V.R. Basili, Viewing maintenance as reuse-oriented software development, IEEE Software 7(2) (1990) 19-25.
3. C. Baral and M. Gelfond, Logic programming and knowledge representation, Journal of Logic Programming 19 (1994) 73-148.
4. D. Cooke, A. Gates, E. Demirors, O. Demirors, M. Tanik and B. Kraemer, Languages for the specification of software, Journal of Systems and Software 32 (1996) 269-308.
5. A.M. Davis, A comparison of techniques for the specification of external system behavior, Communications of ACM 31(9) (1988) 1098-1115.
6. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proc. 5th International Conference and Symposium on Logic Programming, Seattle, Washington (August 15-19, 1988), eds. R. Kowalski and K. Bowen, pp. 1070-1080.
7. M. Gelfond and V. Lifschitz, Logic programs with classical negation, in: Proceedings of 7th International Conference on Logic Programming (Jerusalem, 1990) pp. 579-597.
8. M. Gelfond and V. Lifschitz, Classical negation in logic programs and deductive databases, Journal of New Generation Computing 9(3,4) (1991) 365-387.
9. M. Gelfond and H. Przymusinska, Stratified extended logic programs. Draft copy of a paper in preparation.
10. M. Lehman, Programs, life cycles, and laws of software evolution, Proceedings of the IEEE 68(9) (1980) 1060-1075.
11. Luqi and D.E. Cooke, How to combine nonmonotonic logic and rapid prototyping to help maintain software, International Journal of Software Engineering and Knowledge Engineering 5(1) (1995) 89-118.
12. C.V. Ramamoorthy and D. Cooke, The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software, in: Proceedings of the Third International IEEE Conference on Tools for Artificial Intelligence (November, 1991) pp. 114-118.
13. C.V. Ramamoorthy, D. Cooke and C. Baral, Maintaining the truth of specifications in evolutionary software, International Journal of Artificial Intelligence Tools 2(1) (1993) 15-31.
14. J.-P. Tsai and T. Weigert, A knowledge-based approach for checking software information using a non-monotonic reasoning system, Knowledge-Based Systems 3(3) (1990) 131-138.