Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,423,693 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.
2008
2008
powerJADE: Organizations and Roles as Primitives in the JADE Framework
M. Baldoni
,
G. Boella
,
Mauro Dorni
,
Andrea Mugnaini
,
Roberto Grenna
Workshop From Objects to Agents
2008
Corpus ID: 12291212
Organizations are the subject of many recent papers in the MAS field, and also among the topics of workshops like COIN, AOSE…
Expand
2005
2005
Modelling Evolvable Systems: A Temporal Logic View
H. Barringer
,
D. Rydeheard
We Will Show Them!
2005
Corpus ID: 2238228
There is a growing trend to develop and deploy computing systems that adapt or evolve themselves dynamically according to use and…
Expand
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
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
1997
1997
A Preexed Tableau Calculus for Plan Generation in Linear Temporal Logic
Serenella Cerritoy
,
Marta Cialdea Mayerz
1997
Corpus ID: 17127713
The search for nite models of temporal logic speci cations furnishes a logical, though non-deductive, approch to planning, that…
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
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
1993
1993
Towards First-Order Concurrent METATEM
Mark Reynolds
Executable Modal and Temporal Logics
1993
Corpus ID: 28579449
In [27] we applied the MetateM executable temporal logic programming language in a distributed system guise to a case study of a…
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