H ?
«
‹
←
→
›
»
Language peer sets for METATEM:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
METATEM(ID:5660/met023)
alternate simple view
Designed 1989
language for executable temporal logic
Related languages
METATEM |
→
|
Concurrent METATEM | |
Extension of |
References:
Howard Barringer, Michael Fisher, Dov M. (1989) Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129
Fisher, Michael (1991) Fisher, Michael "A Resolution Method for Temporal Logic" pp99-104
in Proc. (1991) Proc. of the 12 th IJCAI, Sydney, Australia, 1991
Howard Barringer, Michael Fisher, Dov M. (1991) Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
in Proc. (1991) Proc. of the 12 th IJCAI, Sydney, Australia, 1991
Michael Fisher. (1994) Michael Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents - Proceeding of the 1994 Workshop on Agent Theories, Architectures and Languages,1995.
in Proc. (1991) Proc. of the 12 th IJCAI, Sydney, Australia, 1991
Howard Barringer, Michael Fisher, Dov M. Gabbay, G (1995) Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: "METATEM: An Introduction" pp533-549
in (1995) Formal Aspects of Computing 7(5) 1995
Barbosa, Fernanda and Cunha, José C. (2000) Barbosa, Fernanda and Cunha, José C. "A coordination language for collective agent based systems: GroupLog" pp189-195
Extract:
Extensions to GHC
Extract:
GroupLog and other work
in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|