The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Dynamic Logic
MSPASS: Modal Reasoning by Translation and First-Order Resolution
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Decidability and expressiveness of logics of processes
Decidability and expressiveness of logics of processes
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Reasoning about agent execution strategies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Programming Multi-agent Systems
Computational Logic in Multi-Agent Systems
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Mental State Ascription Using Dynamic Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A dialogue games framework for the operational semantics of logic agent-oriented languages
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Annals of Mathematics and Artificial Intelligence
Reasoning about plan revision in BDI agent programs
Theoretical Computer Science
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Reasoning about agent programs using ATL-Like logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Using strategic logics to reason about agent programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
We present a sound and complete logic for reasoning about Simple APL programs. Simple APL is a fragment of the agent programming language 3APL designed for the implementation of cognitive agents with beliefs, goals and plans. Our logic is a variant of PDL, and allows the specification of safety and liveness properties of agent programs. We prove a correspondence between the operational semantics of Simple APL and the models of the logic for two example program execution strategies. We show how to translate agent programs written in SimpleAPL into expressions of the logic, and give an example in which we show how to verify correctness properties for a simple agent program.