ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
A grounded specification language for agent programs
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
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
Towards a Delegation Framework for Aerial Robotic Mission Scenarios
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
Computational Logic in Multi-Agent Systems
Framework for model-based design of multi-agent systems
International Journal of Autonomic Computing
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
cOncienS: Organizational Awareness in Real-Time Strategy Games
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Hi-index | 0.00 |
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed programming constructs include operations such as testing, adopting and dropping declarative goals, different execution modes for plans, repairing plans when their execution fail, event and exception handling mechanisms, and interfaces to existing imperative and declarative programming languages.