M. Fisher and H. Barringer. Concurrent METATEM Processes --- A Languagefor Distributed AI. In Proceedings of the European Simulation Multiconference, Copenhagen, June 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Survey of Concurrent METATEM - The Language and its Applications - Fisher (1994) (58 citations) Self-citation (Fisher) (Correct)
.... an extension of the sequential execution of temporal logic programs provided by METATEM, an executable temporal logic described in [3, 10] The rules that are executed are based upon the normal form developed for temporal theoremproving [14] while the concurrent operational model was outlined in [9] and developed to its current state in [15] 2.1 An Overview of the Approach While it is possible to program objects in Concurrent METATEM using a small range of temporal operators (just the last time and sometime in the future operators) a large range of temporal operators are available in the ....
M. Fisher and H. Barringer. Concurrent METATEM Processes --- A Languagefor Distributed AI. In Proceedings of the European Simulation Multiconference, Copenhagen, June 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC