The relation between logic programming and logic specification

Authors:
R. Kowalski
Affiliations:
Imperial College, London, UK
Venue:
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Year:
1985

Laws of programming

Communications of the ACM
Mapping the Design Information Representation Terrain

Computer
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis

IEEE Transactions on Software Engineering - Special issue on software maintenance
Logical debugging

Journal of Symbolic Computation - Special issue on automatic programming
Concurrent programming for the masses (invited address)

Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Towards quality requirements via animated formal specifications

Annals of Software Engineering
A New Technique for Verifying and Correcting Logic Programs

Journal of Automated Reasoning
Logic for Component-Based Software Development

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic programming: from underspecification to undefinedness

CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128

Hi-index	0.02