Ten requirements for a theory of change
- 1 December 1985
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 3 (4) , 467-477
- https://doi.org/10.1007/bf03037081
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Qualitative Process TheoryPublished by Defense Technical Information Center (DTIC) ,1984
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Verification of Concurrent Programs. Part II. Temporal Proof Principles.Published by Defense Technical Information Center (DTIC) ,1981
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971