ACM Transactions on Computational Logic (TOCL)
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Autonomous Agents and Multi-Agent Systems
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
An Operational Semantics for a PRS-Like Agent Architecture
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Formal Architecture for the 3APL Agent Programming Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Agent-oriented probabilistic logic programming
Journal of Computer Science and Technology - Special section on China AVS standard
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
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
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Agent-Oriented probabilistic logic programming with fuzzy constraints
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Model checking agent programming languages
Automated Software Engineering
Agent-Based computing and programming of agent systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |