Temporal Development Methods for Agent-Based
- 1 January 2005
- journal article
- Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
- Vol. 10 (1) , 41-66
- https://doi.org/10.1007/s10458-004-3140-4
Abstract
No abstract availableKeywords
This publication has 53 references indexed in Scilit:
- From the past to the future: Executing temporal logic programsPublished by Springer Nature ,2005
- Agents for the massesIEEE Intelligent Systems and their Applications, 1999
- A clausal resolution method for CTL branching-time temporal logicJournal of Experimental & Theoretical Artificial Intelligence, 1999
- Formal semantics for an abstract agent programming languagePublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Is It an agent, or just a program?: A taxonomy for autonomous agentsPublished by Springer Nature ,1997
- AgentSpeak(L): BDI agents speak out in a logical computable languagePublished by Springer Nature ,1996
- MetateM: An introductionFormal Aspects of Computing, 1995
- Formal models of stepwise refinements of programsACM Computing Surveys, 1986