Title :
A model building and management system using predicate calculus and relational framework
Author :
Shi-Ping, Wang ; An-Bang, Xia ; Zhong-Xuan, Zhao
Author_Institution :
Research Institute of Automation, Nanjing Institute of Technology
Keywords :
Application software; Artificial intelligence; Automation; Buildings; Calculus; Decision making; Decision support systems; Interactive systems; Knowledge management; Labor resources;
Conference_Titel :
Systems, Man, and Cybernetics, 1988. Proceedings of the 1988 IEEE International Conference on
Print_ISBN :
7-80003-039-3
DOI :
10.1109/ICSMC.1988.754279