Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
ACM Transactions on Computational Logic (TOCL)
Embodied intentional dynamics of bacterial behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
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
A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour
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
Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
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
Modelling multiple mind-matter interaction
International Journal of Human-Computer Studies
Extending Fault Trees with an AND-THEN Gate
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Formalisms for multi-agent systems
The Knowledge Engineering Review
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
TACOP: a cognitive agent for a naval training simulation environment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
LEADSTO: a language and environment for analysis of dynamics by simulation
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
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
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Exploring the Future with Resource-Bounded Agents
Journal of Logic, Language and Information
Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Rule systems for run-time monitoring: from eagle to ruler
RV'07 Proceedings of the 7th international conference on Runtime verification
Integrating agent models and dynamical systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Transactions on computational collective intelligence I
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
A cognitive agent model using inverse mirroring for false attribution of own actions to other agents
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Specification of interlevel relations for agent models in multiple abstraction dimensions
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Logical implementation of uncertain agents
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Formal framework to support organizational design
Knowledge-Based Systems
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Action selection using theory of mind: a case study in the domain of fighter pilot training
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
A human-like agent model for attribution of actions using ownership states and inverse mirroring
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Agent reasoning for norm compliance: a semantic approach
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.01 |