Author:
Bellman Kirstie L.,Landauer Christopher
Subject
Applied Mathematics,Analysis
Reference81 articles.
1. The Structure and Interpretation of Computer Programs;Abelson,1985
2. Non-well-founded Sets;Aczel,1988
3. G. Attardi and M. Simi, Proofs in context, inProc. KR'94, the 1994 International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, May 24–27, 1994 (J. Doyle, E. Sandewall, and P. Torasso, Eds.), pp. 15–26.
4. Reasoning about noisy sensors and effectors in the situation calculus;Bacchus;Artificial Intelligence,1999
5. The Situation in Logic;Barwise,1989
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semi-Automatic Integration of Little Languages;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25
2. Modeling and Integration for Complex Systems;2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2021-09
3. Self-improving system integration: Mastering continuous change;Future Generation Computer Systems;2021-04
4. Implementation of Industrial Internet of Things and Cyber-Physical Systems in SMEs for Distributed and Service-Oriented Control;Industry 4.0 for SMEs;2020
5. Self-Improving System Integration - Status and Challenges after Five Years of SISSY;2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W);2018-09