skip to main content
Skip header Section
The imperative future: principles of executable temporal logicDecember 1996
Publisher:
  • John Wiley & Sons, Inc.
  • 605 Third Ave. New York, NY
  • United States
ISBN:978-0-471-96130-7
Published:03 December 1996
Pages:
222
Skip Bibliometrics Section
Bibliometrics

Cited By

  1. van Riemsdijk M, Dennis L, Fisher M and Hindriks K Agent reasoning for norm compliance Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, (499-506)
  2. Hoogendoorn M and Merk R Action selection using theory of mind Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence, (521-533)
  3. Treur J and Umair M A human-like agent model for attribution of actions using ownership states and inverse mirroring Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence, (574-585)
  4. Treur J and Umair M A cognitive agent model using inverse mirroring for false attribution of own actions to other agents Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II, (109-119)
  5. Treur J Specification of interlevel relations for agent models in multiple abstraction dimensions Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II, (542-555)
  6. Jonker C, Snoep J, Treur J, Westerhoff H and Wijngaards W The living cell as a multi-agent organisation Transactions on computational collective intelligence I, (160-206)
  7. Bosse T, Hoogendoorn M, Klein M and Treur J A three-dimensional abstraction framework to compare multi-agent system models Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI, (306-319)
  8. Treur J (2009). Past--future separation and normal forms in temporal predicate logic specifications, Journal of Algorithms, 64:2-3, (106-124), Online publication date: 1-Apr-2009.
  9. Bosse T, Jonker C and Treur J (2007). On the use of organisation modelling techniques to address biological organisation, Multiagent and Grid Systems, 3:2, (199-223), Online publication date: 1-Apr-2007.
  10. Bosse T, Sharpanskykh A and Treur J Integrating agent models and dynamical systems Proceedings of the 5th international conference on Declarative agent languages and technologies V, (50-68)
  11. Bosse T, Jonker C, Meij L, Sharpanskykh A and Treur J Specification and Verification of Dynamics in Cognitive Agent Models Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology, (247-254)
  12. Bosse T, Jonker C and Treur J Simulation and Analysis of Complex Biological Processes Proceedings of the 39th annual Symposium on Simulation, (304-311)
  13. Bosse T, Hoogendoorn M and Treur J Automated evaluation of coordination approaches Proceedings of the 8th international conference on Coordination Models and Languages, (44-62)
  14. Fisher M (2019). Temporal Development Methods for Agent-Based, Autonomous Agents and Multi-Agent Systems, 10:1, (41-66), Online publication date: 1-Jan-2005.
  15. ACM
    van Doesburg W, Heuvelink A and van den Broek E TACOP Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (34-41)
  16. de C. Ferreira N, Fisher M and van der Hoek W Logical implementation of uncertain agents Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence, (536-547)
  17. Bosse T, Jonker C, van der Meij L and Treur J LEADSTO Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (363-366)
  18. Bosse T, Jonker C, van der Meij L and Treur J LEADSTO Proceedings of the Third German conference on Multiagent System Technologies, (165-178)
  19. Fisher M METATEM Proceedings of the Third international conference on Programming Multi-Agent Systems, (3-22)
  20. Fisher M Implementing temporal logics Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems, (129-142)
  21. Bosse T, Jonker C and Treur J Requirements analysis of an agent’s reasoning capability Proceedings of the 7th international conference on Agent-Oriented Information Systems III, (48-63)
  22. Fisher M, Ghidini C and Hirsch B Programming groups of rational agents Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems, (16-33)
  23. Engelfriet J, Jonker C and Treur J (2019). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic, Journal of Logic, Language and Information, 11:2, (195-225), Online publication date: 1-Mar-2002.
  24. ACM
    Jonker C, Snoep J, Treur J, Westerhoff H and Wijngaards W Embodied intentional dynamics of bacterial behaviour Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, (465-466)
  25. Jonker C and Treur J Relating structure and dynamics in organisation models Proceedings of the 3rd international conference on Multi-agent-based simulation II, (50-69)
  26. Jonker C and Treur J (2002). Modelling multiple mind-matter interaction, International Journal of Human-Computer Studies, 57:3, (165-214), Online publication date: 1-Sep-2002.
  27. Jonker C, Treur J and Wijngaards W Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems, (151-160)
  28. Jonker C, Treur J and Wijngaards W A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems, (141-150)
  29. ACM
    Fisher M, Dixon C and Peim M (2001). Clausal temporal resolution, ACM Transactions on Computational Logic (TOCL), 2:1, (12-56), Online publication date: 1-Jan-2001.
  30. Wijayarathna P and Maekawa M Extending Fault Trees with an AND-THEN Gate Proceedings of the 11th International Symposium on Software Reliability Engineering
  31. ACM
    Bellini P, Mattolini R and Nesi P (2000). Temporal logics for real-time system specification, ACM Computing Surveys (CSUR), 32:1, (12-42), Online publication date: 1-Mar-2000.
  32. Fisher M and Ghidini C Programming resource-bounded deliberative agents Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1, (200-205)
Contributors
  • The University of Manchester
  • The University of Manchester
  • King's College London
  • The University of Western Australia

Recommendations