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 54 articles , 1 standard article )

Showing results 1 to 20 of 54.
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: Agent deliberation in an executable temporal framework (2011)
  5. Fisher, Michael: An introduction to practical formal methods using temporal logic (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)
  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)
  10. Kowalski, Robert; Sadri, Fariba: An agent language with destructive assignment and model-theoretic semantics (2010)
  11. Dastani, Mehdi: 2APL: a practical agent programming language. (2008)
  12. Yang, Xiaoxiao; Duan, Zhenhua: Operational semantics of Framed Tempura (2008)
  13. Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana: Reasoning about interaction protocols for customizing web service selection and composition (2007)
  14. Bugaychenko, Dmitry; Soloviev, Igor: MASL: A logic for the specification of multiagent real-time systems (2007)
  15. Jonker, Catholijn M.; Schut, Martijn C.; Treur, Jan; Yolum, Pınar: Analysis of meeting protocols by formalisation, simulation, and verification (2007)
  16. Jonker, Catholijn M.; Treur, Jan; Wijngaards, Wouter C.A.: Specification, analysis and simulation of the dynamics within an organisation (2007)
  17. Meyer, John-Jules Ch.: Our quest for the holy grail of agent verification (2007)
  18. Reed, Chris; Norman, Timothy J.: A formal characterisation of Hamblin’s action-state semantics (2007)
  19. Dekhtyar, Michael; Dikovsky, Alexander; Valiev, Mars: On complexity of verification of interacting agents’ behavior (2006)
  20. Ding, Junhua; Clarke, Peter J.; Xu, Dianxiang; He, Xudong; Deng, Yi: A formal model-based approach for developing an interoperable mobile agent system (2006)

1 2 3 next