Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
A belief-goal-role logic for a single-agent system
Proceedings of the 2001 ACM symposium on Applied computing
Embodied intentional dynamics of bacterial behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Autonomous Agents and Multi-Agent Systems
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Direct Execution of Agent Specifications
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
BDI Design Principles and Cooperative Implementation in RoboCup
RoboCup-99: Robot Soccer World Cup III
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
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
JEOPS - The Java Embedded Object Production System
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Analysis and Verification of Multi-Agent Interaction Protocols
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Reactive Mobility by Failure: When Fail Means Move
Information Systems Frontiers
TACOP: a cognitive agent for a naval training simulation environment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
ForMAAD: A formal method for agent-based application design
Web Intelligence and 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
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
How to Program Organizations and Roles in the JADE Framework
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Context-based commonsense reasoning in the DALI logic programming language
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Transactions on computational collective intelligence I
FIPA and MASIF standards: a comparative study and strategies for integration
NSEC '10 Proceedings of the 2010 National Software Engineering Conference
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Planning experiments in the DALI logic programming language
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Intentional agency framework based on cognitive concepts to realize adaptive system management
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
Analysis and run-time verification of dynamic security policies
DAMAS'05 Proceedings of the 2005 international conference on Defence Applications of Multi-Agent Systems
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
Reasoning about agents' interaction protocols inside DCaseLP
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Meta-reasoning methods for agent's intention modelling
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
Computer Languages, Systems and Structures
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Fundamenta Informaticae
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Oragentburg: A Platform Supporting Organisation-Based Programming
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Hi-index | 0.00 |