×

METATEM

swMATH ID: 6568
Software Authors: Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
Description: MetateM: An introduction. A methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, called METATEM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the METATEM approach to executable logics.
Homepage: http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/ker95/subsubsectionstar3_4_0_4.html
Related Software: AgentSpeak; GOLOG; ConGolog; Jason; Oz; 3APL; KARO; CCalc; 2APL; SPIN; JADE; Mozart; JavaLog; LUPS; E-CELL; GEPASI; simpleAPL; MCMAS; PDDL; NuSMV
Referenced in: 49 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
A survey of concurrent MetateM – the language and its applications. Zbl 0949.68532
Fisher, M.
1994
all top 5

Referenced by 83 Authors

6 Treur, Jan
5 Jonker, Catholijn M.
3 Costantini, Stefania
3 Kowalski, Robert A.
3 Lespérance, Yves
3 Sadri, Fariba
3 Tocchio, Arianna
2 Alagic, Suad
2 Baldoni, Matteo
2 Baroglio, Cristina
2 Barringer, Howard
2 De Giacomo, Giuseppe
2 Dekhtyar, Michael I.
2 Dikovsky, Alexander Yakovlevich
2 Duan, Zhenhua
2 Engelfriet, Joeri
2 Gabbay, Dov M.
2 Gough, Graham
2 Levesque, Hector J.
2 Mascardi, Viviana
2 Owens, Richard
2 Reynolds, Mark Alexander
2 Torroni, Paolo
2 Valiev, Mars K.
2 Wijngaards, Wouter C. A.
1 Alagić, Mara
1 Alferes, José Júlio
1 Amandi, Analía
1 Bordini, Rafael H.
1 Brogi, Antonio
1 Brough, Derek
1 Bugaychenko, Dmitry
1 Campo, Marcelo R.
1 Cerrito, Serenella
1 Cialdea Mayer, Marta
1 Ciampolini, Anna
1 Clarke, Peter J.
1 Deng, Yi
1 Dennis, Louise Abigail
1 Ding, Junhua
1 Dix, Jurgen
1 Dixon, Clare
1 Fournier, Dominique
1 Haddadi, Afsaneh
1 Hannebauer, Markus
1 He, Xudong
1 Hepple, Anthony
1 Hodkinson, Ian Martin
1 Hunter, Anthony
1 Kraus, Sarit
1 Lamma, Evelina
1 Leite, João Alexandre
1 Liu, Chuchang
1 Ma, Qian
1 Martelli, Alberto
1 Martelli, Maurizio
1 McBrien, Peter
1 Mello, Paola
1 Mermet, Bruno
1 Meyer, John-Jules Charles
1 Moreira, Álvaro Freitas
1 Norman, Timothy J.
1 Omicini, Andrea
1 Orgun, Mehmet Ali
1 Patrizi, Fabio
1 Patti, Viviana
1 Reed, Chris
1 Reiter, Raymond
1 Schumacher, Michael
1 Schut, Martijn C.
1 Snoep, Jacky L.
1 Solov’ev, Igor’ Pavlovich
1 Sterling, Leon S.
1 Subrahmanian, V. S.
1 Toni, Francesca
1 van Eijk, Rogier M.
1 Wang, Xiaobing
1 Westerhoff, Hans V.
1 Xu, Dianxiang
1 Yang, Xiaoxiao
1 Yolum, Pinar
1 Zhang, Nan
1 Zunino, Alejandro

Referencing Publications by Year