Integrating communicative action, conversations and decision theory to coordinate agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A formal methodology for verifying situated agents
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ACM Transactions on Computational Logic (TOCL)
Learning Complex Robot Behaviours by Evolutionary Computing with Task Decomposition
EWLR-6 Proceedings of the 6th European Workshop on Learning Robots
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Coordinating multiple agents in the supply chain
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
First order heterogeneous agent computations
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Decision station: situating decision support systems
Decision Support Systems
Theory and Practice of Logic Programming
Causal temporal constraint networks for representing temporal knowledge
Expert Systems with Applications: An International Journal
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Hybrid architecture based on support vector machines
IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
Perceiving environments for intelligent agents
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Formal modelling of agents acting under artificial emotions
Proceedings of the Fifth Balkan Conference in Informatics
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 0.00 |