A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems

Tolety Siva Perraju, Garimella Uma, Bandreddi E. Prasad. A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems. In ICTAI. pages 647-653, 1994.

Abstract

Abstract is missing.