Model checking agent programming languages
- 24 May 2011
- journal article
- Published by Springer Science and Business Media LLC in Automated Software Engineering
- Vol. 19 (1), 5-63
- https://doi.org/10.1007/s10515-011-0088-x
Abstract
No abstract availableKeywords
This publication has 51 references indexed in Scilit:
- Property-based Slicing for Agent VerificationJournal of Logic and Computation, 2009
- Automated Verification of Multi-Agent ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Programming Multi-Agent Systems in AgentSpeak usingJasonPublished by Wiley ,2007
- A verification framework for agent programming with declarative goalsJournal of Applied Logic, 2007
- Verifying Multi-agent Programs by Model CheckingAutonomous Agents and Multi-Agent Systems, 2006
- Jason and the Golden Fleece of Agent-Oriented ProgrammingMultiagent Systems, Artificial Societies, and Simulated Organizations, 2005
- Model Checking Rational AgentsIEEE Intelligent Systems, 2004
- Verifiable Multi-agent ProgramsLecture Notes in Computer Science, 2004
- Economic principles of multi-agent systemsArtificial Intelligence, 1997
- Plans and resource‐bounded practical reasoningComputational Intelligence, 1988