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.

References in zbMATH (referenced in 55 articles , 1 standard article )

Showing results 1 to 20 of 55.
Sorted by year (citations)

1 2 3 next

  1. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  2. Kowalski, Robert; Sadri, Fariba: Reactive computing as model generation (2015)
  3. Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing: Verification of distributed systems with the axiomatic system of MSVL (2015)
  4. Fisher, Michael: An introduction to practical formal methods using temporal logic (2011)
  5. Fisher, Michael: Agent deliberation in an executable temporal framework (2011)
  6. Kowalski, Robert; Sadri, Fariba: Abductive logic programming agents with destructive databases (2011)
  7. Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011) ioport
  8. Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? (2010)
  9. Jonker, C. M.; Snoep, J. L.; Treur, J.; Westerhoff, H. V.; Wijngaards, W. C. A.: The living cell as a multi-agent organisation: a compositional organisation model of intracellular dynamics (2010) ioport
  10. Kowalski, Robert; Sadri, Fariba: An agent language with destructive assignment and model-theoretic semantics (2010)
  11. Dennis, Louise; Fisher, Michael; Hepple, Anthony: Language constructs for multi-agent programming (2009)
  12. Valiev, M. K.; Dekhtyar, M. I.; Dikovsky, A. Ya.: Systems of agents controlled by logical programs: complexity of verification (2009)
  13. Dastani, Mehdi: 2APL: a practical agent programming language. (2008) ioport
  14. Jonker, C. M.; Snoep, J. L.; Treur, J.; Westerhoff, H. V.; Wijngaards, W. C. A.: BDI-modelling of complex intracellular dynamics (2008)
  15. Yang, Xiaoxiao; Duan, Zhenhua: Operational semantics of Framed Tempura (2008)
  16. Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana: Reasoning about interaction protocols for customizing web service selection and composition (2007)
  17. Bugaychenko, Dmitry; Soloviev, Igor: MASL: A logic for the specification of multiagent real-time systems (2007)
  18. Jonker, Catholijn M.; Schut, Martijn C.; Treur, Jan; Yolum, Pınar: Analysis of meeting protocols by formalisation, simulation, and verification (2007)
  19. Jonker, Catholijn M.; Treur, Jan; Wijngaards, Wouter C. A.: Specification, analysis and simulation of the dynamics within an organisation (2007) ioport
  20. Meyer, John-Jules Ch.: Our quest for the holy grail of agent verification (2007)

1 2 3 next