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