M. Fisher. A survey of concurrent metatem - the language and its applications. In D. Gabbay and H. J. Ohlbach, editors, Temporal Logic - Proceedings of the 1st International Conference, LNAI 827, pages 480--505. Springer, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....behaviors. BDI plans provide some support for this but they are not explicit enough. 2. We need a detailed object oriented design to guide our implementation. Subsumption implementations are usually hardware based, while BDI implementations are usually based on logic and rule based programming [12], or implement a new language and its interpreter as done by UM PRS. In general, it is very hard for novices to translate the subsumption and BDI descriptions given in textbooks (e.g. 25] into a coherent object oriented implementation. 3. We need a structured way of dealing with error ....

M. Fisher. A survey of concurrent METATEM: the language and its applications. In Proceeding of the First International Conference on Temporal Logic, pages 480--505. Springer, 1994.

....and reasoning about actions, rather than for update specification, and actions are restricted to sets of literals (fiuents) rather than representing updates of sets of rules or logic programs. In [19] we relate our architecture, and to some extent MLUPS, with the somehow related approaches of [11, 8, 25]. A deeper study of applications of MLUP is the subject of ongoing and future work. Namely, bridging the gap between knowledge updates and reasoning 14 Jo o Alexandre Leite et al. about actions, applying MLUPS as a language for combining knowledge and beliefs in multi agent systems (e.g. ....

M. Fisher. A survey of concurrent METATEM: The language and its applications. In Procs of ICTL'94, volume 827 of LNAI. Springer, 1994.

....and reasoning about actions, rather than for update specification, and actions are restricted to sets of literals (fiuents) rather than representing updates of sets of rules or logic programs. In [18] we relate our architecture, and to some extent MLUPS, with the somehow related approaches of [11, 8, 24]. A deeper study of applications of MLUPS is the subject of ongoing and future work. Namely, bridging the gap between knowledge updates and reasoning about actions, applying MLUP as a language for combining knowledge and beliefs in multi agent systems (e.g. combining different e commerce ....

M. Fisher. A survey of concurrent METATEM: The language and its applications. In Procs of ICTL'94, volume 827 of LNAI. Springer, 1994.

....it, can be done in the same language. It will be shown that specifications in our version of temporal logic can be executed, leading to a general algorithm for executing nonmonotonic reasoning processes. Although there are similarities with existing executable temporal logics (see [Ga89] [Fi94], FO95] OM94] there are some differences as well. The complexity of this algorithm is complete in the complexity class where many nonmonotonic formalisms reside. In Section two we will formalize the reasoning processes we want to specify using reasoning frames and in Section three we ....

Fisher, M.: "A Survey of Concurrent METATEM - The Language and its Applications", in: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic, Proceedings ICTL'94, Springer-Verlag, 1994, pp. 480-505.

....is presented in [BFG 95] The logic used as a basis of METATEM is a discrete, linear temporal logic. METATEM is based on the idea that future statements can 14 be seen as commands (imperative reading) A concurrent extension of METATEM, called Concurrent METATEM, has been also proposed [Fis94] Applications of METATEM in modeling reactive systems are investigated in [FFO93] Applications and extensions of Concurrent METATEM are investigated in [KF97, FW94] Multidimensional extensions of logic programming languages have been investigated in [OD94, OD97, GR98] In a multidimensional ....

Michael Fisher. A survey of concurrent METATEM-The language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Proc. of the First International Conference on Temporal Logics (ICTL'94), Lecture Notes in Artificial Intelligence (LNAI), Vol 827, pages 480--505. Springer-Verlag, 1994.

....properties (cf. Port and van Gelder, 1995] Third, in our approach states are three valued; the standard temporal logics are based on two valued states, which implies that for a given trace a form of closed world assumption is imposed. This means that, for example, in Concurrent MetateM (cf. [Fisher, 1994]) if the executable temporal logic specification leaves some atom unspecified, during construction of a trace the semantics will force it to be false. To avoid this, an atom has to be split into a positive and a negative variant. Fourth, the possibility to quantify over traces allows for ....

Fisher, M., A survey of Concurrent METATEM --- the language and its applications. In: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic --- Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, 1994, pp. 480--505.

....model theoretic characterization of environment aware agents. The relation of our approach with the agent language 3APL [17] which has been shown to embed AgentSpeak(L) is similar inasmuch as 3APL is provided only with an operational characterization. MetateM (and Concurrent MetateM) [4, 11] is a programming language based on the notion of direct execution of temporal formulae, primarily used to specify reactive behaviours of agents. It shares similarities with the LUPS language inasmuch as both use rules to represent a relation between the past and the future, i.e. each rule in ....

M. Fisher. A survey of concurrent METATEM: The language and its applications. In D. Gabbay and H. J. Ohlbach, editors, Proceedings of the First International Conference on Temporal Logic (ICTL'94), volume 827 of LNAI, pages 480--505. Springer, 1994.

....the overall expected utility of the option, which considers to fulfill them. Concerning software technology, we state, that up to now agent oriented programming and especially the implementation of BDI has been mostly considered in the tradition of logic and rule based programming (e.g. [17, 6, 18]) Our approach uses agent oriented techniques as a structuring method in an object oriented environment. Traditional programs are related to well understood control flows: The programmer knows in advance, which procedures with which parameters are to be called under which concrete conditions. ....

Fisher, M.: A survey of Concurrent METATEM -- the language and its applications. In Gabbay, D. M. and Ohlbach, H. J. (eds.): Temporal Logic -- Proceedings of the First International Conference: 480-505. LNAI 827. Springer, 1994.

....by building a model (in the logical sense) for it. If models for the specification language L can be given a computational interpretation, then model building can be viewed as executing the specification. To make this discussion concrete, consider the Concurrent MetateM programming language [16]. In this language, agents are programmed by giving them a temporal logic specification of the behaviour it is intended they should exhibit; this specification is directly executed to generate each agent s behaviour. Models for the temporal logic in which Concurrent MetateM agents are specified ....

M. Fisher. A survey of Concurrent MetateM --- the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic --- Proceedings of the First International Conference (LNAI Volume 827), pages 480--505. SpringerVerlag: Berlin, Germany, July 1994.

....with tools that allow one to program hardware or software computer systems using the concepts 5 developed in agent theories as outlined below. Such tools include, for example, the Agent Behaviour Language [Wavish, 1992] the agent oriented programming paradigm [Shoham, 1993] Concurrent MetateM [Fisher, 1994], or the Java Agent Template. 1 As this area is not concerned with the representation of and reasoning about capabilities, we shall not dwell on it here. Secondly, the subfield of agent architectures is concerned with issues surrounding the construction of computer systems that satisfy the ....

M. Fisher. A survey of concurrent metatem---the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Proc. 1st International Conference on Temporal Logic, pages 480--505. Springer, 1994. LNAI 827.

....model theoretic characterization of environment aware agents. The relation of our approach with the agent language 3APL [16] which has been shown to embed AgentSpeak(L) is similar inasmuch as 3APL is provided only with an operational characterization. MetateM (and Concurrent MetateM) [3, 10] is a programming language based on the notion of direct execution of temporal formulae, primarily used to specify reactive behaviours of agents. It shares similarities with the LUPS language inasmuch as both use rules to represent a relation between the past and the future, i.e. each rule in ....

M. Fisher. A survey of Concurrent METATEM - the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic - Proceedings of the First International Conference (LNCS 827), pages 102-117. Springer-Verlag, 1995.

....properties (cf. Port and van Gelder, 1995] Third, in our approach states are three valued; the standard temporal logics are based on two valued states, which implies that for a given trace a form of closed world assumption is imposed. This means that, for example, in Concurrent MetateM (cf. [Fisher, 1994]) if the executable temporal logic specification leaves some atom unspecified, during construction of a trace the semantics will force it to be false. To avoid this, an atom has to be split into a positive and a negative variant. Fourth, the possibility to quantify over traces allows for ....

Fisher, M., A survey of Concurrent METATEM --- the language and its applications. In: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic --- Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480--505.

....(satisfiable) agent specifications in the presence of arbitrary input from the environment is an execution algorithm for the logic. Concurrent METATEM is a programming language for multiagent systems, that is based on the idea of directly executing linear time temporal logic agent specifications [25, 23]. A Concurrent METATEM system contains a number of concurrently executing agents, each of which is programmed by giving it a temporal logic specification of the behavior it is intended the agent should exhibit. An agent specification has the form V i P i ) F i , where P i is a temporal logic ....

M. Fisher. A survey of Concurrent METATEM --- the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic --- Proceedings of the First International Conference (LNAI Volume 827), pages 480--505. Springer-Verlag: Berlin, Germany, July 1994.

....AI has been quite successful in dealing with both time and space. There exists a wide spectrum of temporal languages (see e.g. 1, 14, 32] There is a variety of spatial formalisms (e.g. 7, 9, 21, 26] In both cases effective reasoning procedures have been developed and implemented (e.g. [20, 18, 25, 13, 2, 29]) The next apparent and natural step would be to combine these two kinds of reasoning. The importance of such a step for both theory and applications is beyond any doubt. And of course there have been attempts to construct spatio temporal hybrids. For example, Clarke s [7, 8] intended ....

M. Fisher. A survey of concurrent MetateM---the language and its applications. In D. Gabbay and H.J. Ohlbach, editors, Temporal Logic, volume 827 of Lecture Notes in Artificial Intelligence, pages 480--505, Berlin, 1994. Springer-Verlag.

....such as the proposal we have made in this paper must account for the complexity of objects and connections between objects. Closest to our formal view on the proper description of object oriented distribution and concurrency is the work on METATEM, a directly executable temporal logic language [10]. However, its computation model is not based on point to point communication (as actors are) but on broadcasting (disallowed in actor systems) Furthermore, the underlying logic is a dense temporal logic instead of a discrete one, on which our approach is based. The importance of properly ....

Michael Fisher. A survey of Concurrent METATEM: the language and its applications. In Proc. of the First International Conference on Temporal Logic (ICTL), 1994.

....languages or agent design frameworks, e.g. 4, 19, 20, 22, 24] Some of these languages, however, lack a clear and formally de ned semantics, and therefore it is dicult to formalise the design, speci cation and veri cation of programs. Other types of languages are based directly on 3 logic ([7, 16, 6, 27]) In this paper, we consider the third approach of desinging a programming language for building programs based on the metaphor of intelligent agents. To promote this new style of programming, we think it is important to show at least three things. First of all, we believe it is important to ....

Michael Fisher. A Survey of Concurrent MetateM - The Language and its Applications. In Proceedings of First International Conference on Temporal Logic (LNCS 827), pages 480-505. Springer-Verlag, 1994.

....a compositional veri cation method that is based on temporal multi epistemic logic. Secondly, an interesting application of our framework lies in the analysis and comparison of the concurrency aspects dealing with communication in existing multi agent languages like DESIRE [2] Concurrent MetateM [10], AGENT 0 [22] Agent Speak(L) 18] and ConGolog [15] Other possible future applications of our communication mechanism are in the formalisation of negotiating agents. We will conclude by a short summary of the many possible future research directions. In [8] we study an extension of the ....

M. Fisher. A survey of concurrent MetateM{ the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL'94), volume 827 of LNCS, pages 480-505. Springer-Verlag, 1994.

....albeit in a smart way; they have a simple operational semantics; architectures like IRMA and PRS, and languages like AGENT 0, AgentSpeak(L) and 3APL have more complex execution models. Other programming languages share features with ConGolog. The agent programming language Concurrent MetateM [11] supports concurrency and uses a temporal logic to 47 specify the behavior of agents. Bonner and Kifer [3] have proposed a logical formalism to specify concurrent database transactions. Also related are concurrent constraint languages such as CCP [35] and HCC [14] which support incompletely ....

M. Fisher. A survey of Concurrent MetateM -- the language and its applications. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic -- Proceedings of the First International Conference, LNAI 827, pages 480--505, Springer-Verlag, July, 1994.

....constraint systems, which yield various new features as for instance translation mechanisms. Finally, an application of our framework lies in the analysis and comparison of the concurrency aspects dealing with communication in existing multi agent languages like DESIRE [1] and Concurrent METATEM [4]. ....

M. Fisher. A survey of concurrent metatem -- the language and its applications. In Proceedings of ICTL'94, volume 827 of LNCS. Springer-Verlag, 1994.

....5 for a discussion. We conclude by noting that an alternative to synthesising agents from specifications is to directly execute them. This option has been explored in more detail in the literature. For example, it is the concept that underpins the Concurrent METATEM agent programming language [8]. We leave consideration of direct execution for future work. 5 Related Work The formal model of agents and environments used in this paper is similar to many that are now used in artificial intelligence, for example, 9, 16] Probably the most relevant work from mainstream computer science to ....

M. Fisher. A survey of Concurrent METATEM --- the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic --- Proceedings of the First International Conference (LNAI Volume 827), pages 480-- 505. Springer-Verlag: Berlin, Germany, July 1994.

....of the agents beliefs based on a specification of primitive actions as in ConGolog and only a few types of complex actions are handled; there also seems to be less emphasis on having a complete formal specification of the system. Another agent language based on a logic is Concurrent MetateM [6]. Here, each agent s behavior is specified in a subset of temporal logic. The specifications are executed using iterative model generation techniques. A limitation of the approach is that neither the interactions between agents nor their mental states are modeled within the logic. In [31] ....

M. Fisher. A survey of Concurrent METATEM --- the languageand its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic --- Proceedings of the First International Conference (LNAI Volume 827), pages 480--505. Springer-Verlag, July 1994.

....AI has been quite successful in dealing with both time and space. There exists a wide spectrum of temporal languages (see e.g. 1, 14, 32] There is a variety of spatial formalisms (e.g. 7, 9, 21, 26] In both cases effective reasoning procedures have been developed and implemented (e.g. [20, 18, 25, 13, 2, 29]) The next apparent and natural step would be to combine these two kinds of reasoning. The importance of such a step for both theory and applications is beyond any doubt. And of course there have been attempts to construct spatio temporal hybrids. For example, Clarke s [7, 8] intended ....

M. Fisher. A survey of concurrent MetateM---the language and its applications. In D. Gabbay and H.J. Ohlbach, editors, Temporal Logic, volume 827 of Lecture Notes in Artificial Intelligence, pages 480--505, Berlin, 1994. Springer-Verlag.

....multi agent programming language. 1 Introduction In the research on multi agent systems (cf. 15] there is a growing interest in semantically well understood programming paradigms for interacting agents. Among the proposed languages are for instance the language Concurrent MetateM described in [5,14], which is underpinned by an executable temporal logic, and the language described in [1] based on higher order logic. Our contribution consists of the investigation of multi agent languages that are rooted in traditional concurrent programming paradigms. In a previous report [2] we have developed ....

M. Fisher. A Survey of Concurrent MetateM-- The Language and its Applications. In Proceedings of ICTL'94, volume 827 of LNCS. Springer-Verlag, 1994.

....and commitments. ness of the knowledge base formalism is sufficient to perform complex situation recognition tasks. Related work: Many control architectures for the implementation of intelligent agents have been proposed [15] We shortly compare the two well known systems Concurrent METATEM [5] and dMARS [2] with the Sita approach. Concurrent METATEM is designed as an executable specification language. An agent is programmed by a set of rules of the form past ) future, using a propositional temporal logic. There is a forward chaining reasoning process similar to that of Sita. The main ....

M. Fisher. A survey of concurrent METATEM: The language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI, pages 480--505, Berlin, July 1994. Springer.

....At first sight, then, direct execution seems a naive suggestion, but in certain circumstances, it can be done. The speaker didn t give much indication of which circumstances these are, but his example using MetateM could be construed as an example of what he was talking about. Concurrent MetateM [Fis94] was described as a direct execution of temporal logic . A good example (which is reminiscent of the literature on 5 The methods that agents use to work towards goals MetateM) was given. The logical framework in which the user programs is quite a complex temporal logic. The model of time used ....

M. Fisher. A survey of concurrent metatem---the language and its applications. In Temporal Logic---Proceedings of the First International Conference (LNAI Volume 827), pages 480--505, Heidelberg, Germany, 1994. Springer-Verlag.

....of ConGolog is the need for reactive intelligent agent programs. In the companion paper [5] a comparison is made between ConGolog and agent architectures with similar goals such as IRMA [2] and PRS [20] as well as related agent programming languages such as AGENT 0 [23] Concurrent MetateM [9], and 3APL [12] A prototype implementation of ConGolog in Prolog has been developed. Indeed, a simple if somewhat inefficient interpreter can be lifted directly from the axioms for Final, Trans, and Do introduced above. 15 For example, for (ffi 1 ii ffi 2 ) we would have the following two ....

M. Fisher. A survey of Concurrent MetateM -- the language and its applications. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic -- Proceedings of the First International Conference (LNAI Volume 827), pp. 480--505, Springer-Verlag, July, 1994.

....in order to represent some of the extensions described earlier. Finally, in 4, we present our conclusions together with an outline of future work on the semantics of Concurrent METATEM. 2 Concurrent METATEM In this section we give an outline of Concurrent METATEM. The reader is referred to [14, 10] for more details. We begin by motivating and describing the overall computational model, follow this by examining the internal definition and execution of objects within this model, and conclude with a brief discussion of extensions to the basic language. As the internal definition of Concurrent ....

M. Fisher. A Survey of Concurrent METATEM --- The Language and its Applications. In First International Conference on Temporal Logic (ICTL), July 1994.

....we can think of these three core elements as expressing the current state of an agent, what it can do next, and what it s longer term goals are. We will not provide a detailed description of the temporal logic used, nor of the exact rules used in our approach (for a more detailed description, see [9]) Rather, we will present a simplified version as follows. The behaviour of an agent, both static and dynamic, is represented by a set of temporal rules. Each rule is of the form formula about the present formula about the future Simple examples include (p q) r representing the rule ....

....are able to specify the internal behaviour of dynamic objects. In particular, we can represent agents whose internal state changes over time, whilst interacting with its environment. Rather than giving a range of examples here, we refer the reader to our survey of CONCURRENT METATEM applications [9]. 5.2 Reaction versus Deliberation There seems to be a continuing debate about the relative merits of reactive architectures versus deliberative architectures (typically based upon planning) Rather than arguing for one approach or the other, we take the view that both types of behaviour should ....

M. Fisher. A Survey of Concurrent METATEM --- The Language and its Applications. In First International Conference on Temporal Logic (ICTL), July 1994.

....representation, possibly generating further communication. 3 Implementing the Framework Having outlined the general model of concurrent theorem proving, we now describe the high level programming language in which problem solving applications will be represented. A Concurrent MET TEM system [6] consists of a set of concurrently executing agents, which communicate through asynchronous broadcast message passing. The internal computation mechanism for an agent is provided by the execution of temporal logic formulae [1] We begin by giving a brief overview of temporal logic, followed by an ....

....subgoal] defines top to be the name of an agent in which goal, achieves is the set of messages the agent will accept, and planned, subgoal defines the set of messages the agent can send. For a more detailed description of the execution mechanism underlying Concurrent METATEM, see [1, 6]. 4 A Case Study: Distributed Planning In order to provide a concrete illustration of our approach, we consider a particular variety of problem solving, namely planning, and show how this can be represented within our model. We begin with an overview of the AI planning 3 A number of other ....

[Article contains additional citation context not shown here]

M. Fisher. A Survey of Concurrent METATEM -- The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Boom, Germany, 1994. (Published in Lecture Notes in Computer Science, vol. 827, Springer-Verlag).

....first. Thus, an attempt to satisfy each individual eventuality will occur as the execution proceeds. For a longer description of the correctness of propositional METATEM, see [BFG 95] Applications Although much of the development of METATEM has been suspended in favour of Concurrent METATEM [Fis94] the language has applications in system modelling [FFO93] databases [FMO91] and meta level representation [BFGH91] 4.2 Temporal Resolution As we also consider the effect of the various restrictions on SNF has on Fisher s temporal resolution method [Fis91] here we briefly review this ....

M. Fisher. A Survey of Concurrent METATEM --- The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994.

....representation, possibly generating further communication. 3 Implementing the Framework Having outlined the general model of concurrent theorem proving, we now describe the high level programming language in which problem solving applications will be represented. A Concurrent METATEM system [6] consists of a set of concurrently executing agents, which communicate through asynchronous broadcast message passing. The internal computation mechanism for an agent is provided by the execution of temporal logic formulae [1] We begin by giving a brief overview of temporal logic, followed by an ....

....subgoal] defines top to be the name of an agent in which fgoal; achievesg is the set of messages the agent will accept, and fplanned; subgoalg defines the set of messages the agent can send. For a more detailed description of the execution mechanism underlying Concurrent METATEM, see [1, 6]. 4 A Case Study: Distributed Planning In order to provide a concrete illustration of our approach, we consider a particular variety of problem solving, namely planning, and show how this can be represented within our model. We begin with an overview of the AI planning 3 A number of other ....

[Article contains additional citation context not shown here]

M. Fisher. A Survey of Concurrent METATEM --- The Language and its Applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, 1994. (Published in Lecture Notes in Computer Science, vol. 827, Springer-Verlag).

No context found.

M. Fisher. A survey of concurrent metatem - the language and its applications. In D. Gabbay and H. J. Ohlbach, editors, Temporal Logic - Proceedings of the 1st International Conference, LNAI 827, pages 480--505. Springer, 1994.

No context found.

Fisher, M.: A survey of concurrent METATEM -- the language and its applications. In Gabbay, D.M., Ohlbach, H.J., eds.: Temporal Logic - Proceedings of the First Intemational Conference (LNAI Volume 827), Springer-Verlag: Heidelberg, Germany (1994) 480--505 4.1

No context found.

M. Fisher. A survey of Concurrent MetateM | the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic | Proceedings of the First International Conference (LNAI Volume 827), pages 480-505. Springer-Verlag: Berlin, Germany, July 1994.

No context found.

M. Fisher, A survey of concurrent METATEM -- the language and its applications, In Proc. of First International Conf. on Temporal Logic (ICTL), LNCS 827: Springer Verlag, Berlin, 1994.

No context found.

M. Fisher, A survey of concurrent METATEM -- the language and its applications, In Proc. of First International Conf. on Temporal Logic (ICTL), LNCS 827, Springer Verlag, Berlin, 1994.

No context found.

Fisher, M. (1994). A survey of Concurrent MetateM --- the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic - Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480--505.

No context found.

Fisher, M. (1994). A survey of Concurrent METATEM - the language and its applications. In: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic - Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480-505.

No context found.

Fisher, M., A survey of Concurrent METATEM --- the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic --- Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480--505.

No context found.

Fisher, M., A survey of concurrent MetateM|the language and its applications, in: D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logics| 13 Proceedings of the First International Conference, number 827 in Lecture Notes in Arti cial Intelligence, Springer-Verlag, Berlin, 1994 pp. 480-505.

No context found.

Fisher M. A Survey of Concurrent METATEM-The Language and its Applications. Temporal Logic. 1994. pp.480-505. (LNAI 827).

No context found.

M. Fisher. A survey of Concurrent METATEM - the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic - Proceedings of the First International Conference (LNCS 827), pages 102-117. Springer-Verlag, 1995.

No context found.

Michael Fisher. A survey of Concurrent MetateM -- the language and its applicatuions. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic: proceedings of the First International Confeence, volume LNAI 827, pages 480--505. Springer Verlag, Verlin, 1994.

No context found.

M. Fisher. A survey of concurrent METATEM -- the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag.

No context found.

Fisher, M., A survey of Concurrent METATEM --- the language and its applications. In: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic --- Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480-505.

No context found.

Fisher, M. (1994). A survey of Concurrent Metatem --- The language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Proceedings of ICTL'94, First International Conference on Temporal Logic, Bonn, Germany, July 1994. (Published in Lecture Notes in Artificial Intelligence 827, 480--505. Springer-Verlag).

No context found.

M. Fisher. A survey of Concurrent MetateM - the language and its applications. in Temporal Logic - Proceedings of the First International Conference. D.M. Gabbay and H.J. Ohlbach eds. Lecture Notes in AI 827, Springer Verlag, 1994.

No context found.

M. Fisher. A survey of Concurrent MetateM - the language and its applications. in Temporal Logic - Proceedings of the First International Conference. D.M. Gabbay and H.J. Ohlbach eds. Lecture Notes in AI 827, Springer Verlag, 1994.

No context found.

M. Fisher. A survey of Concurrent MetateM - the language and its applications. in Temporal Logic - Proceedings of the First International Conference. D.M. Gabbay and H.J. Ohlbach eds. Lecture Notes in AI 827, Springer Verlag, 1994.

No context found.

M. Fisher. A survey of Concurrent MetateM - the language and its applications. in Temporal Logic - Proceedings of the First International Conference. D.M. Gabbay and H.J. Ohlbach eds. Lecture Notes in AI 827, Springer Verlag, 1994.

First 50 documents  Next 50

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