Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,834,033 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent MetateM
Known as:
MetateM
Concurrent MetateM is a multi-agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Broader (1)
Artificial intelligence
Gabbay's separation theorem
Multi-agent system
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Logical Implementation of Uncertain Agents
N. Ferreira
,
Michael Fisher
,
W. Hoek
Portuguese Conference on Artificial Intelligence
2005
Corpus ID: 3413772
We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a…
Expand
2000
2000
Execution and Proof in a Horn-Clause Temporal Logic
C. Dixon
,
Michael Fisher
,
Mark Reynolds
2000
Corpus ID: 117157581
Both proof, via clausal resolution, and execution, via the imperative future approach, depend on the use of a normal form for…
Expand
1999
1999
Animating TLA Specifications
Y. Mokhtari
,
Stephan Merz
Logic Programming and Automated Reasoning
1999
Corpus ID: 17653449
TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a…
Expand
1997
1997
Automata representations for Concurrent METATEM
A. Kellett
,
Michael Fisher
Proceedings of TIME '97: 4th International…
1997
Corpus ID: 3415731
Concurrent METATEM is a language based on the execution of temporal logic formulae. The current implementations are based upon…
Expand
1997
1997
Concurrent METATEM as a Coordination Language
A. Kellett
,
Michael Fisher
International Conference on Coordination Models…
1997
Corpus ID: 3424367
In the area of concurrent and reactive system design, the use of temporal logic as a formal notation has become widespread…
Expand
1996
1996
Languages, Meta-languages and METATEM, A Discussion Paper
H. Barringer
,
G. Gough
,
+7 authors
Michael Fisher
Logic Journal of the IGPL
1996
Corpus ID: 1103929
Metalanguages are vital to the development and usage of formal systems, and yet the nature of metalanguages and associated…
Expand
1996
1996
Interpretation of MetateM programs
Michael Fisher
,
R. Owens
1996
Corpus ID: 172920991
1996
1996
Scheduling MetateM programs
Tom Longshaw
1996
Corpus ID: 62399581
1993
1993
Towards a Semantics for Concurrent METATEM
Michael Fisher
Executable Modal and Temporal Logics
1993
Corpus ID: 1751555
Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly…
Expand
1991
1991
Concurrent MetateM Processes - A Language for Distributed AI
H. Barringer
,
Michael Fisher
1991
Corpus ID: 15240865
In this paper, we introduce Concurrent M ETATE M Processes, a high-level language for modeling distributedand concurrent systems…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE