TY - CPAPER DO - 10.22260/ISARC1990/0054 SN - 2413-5844 PY - 1990 DA - 1990/06/07 AU - Froese, Thomas Michael TI - Software Theories for Machines: Open-World Semantics for the Knowledge in Machines T2 - Proceedings of the 7th International Symposium on Automation and Robotics in Construction (ISARC) PB - International Association for Automation and Robotics in Construction (IAARC) ED - Cusack, Mathew SP - 423 EP - 430 L1 - https://www.iaarc.org/publications/fulltext/Software_theories_for_machines_Open_world_semantics_for_the_knowledge_in_machines.pdf ER -