A logic-based calculus of events
New Generation Computing
Logics of time and computation
Logics of time and computation
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Swarm intelligence: from natural to artificial systems
Swarm intelligence: from natural to artificial systems
Modal and temporal properties of processes
Modal and temporal properties of processes
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Mind as Motion: Explorations in the Dynamics of Cognition
Mind as Motion: Explorations in the Dynamics of Cognition
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Representational content and the reciprocal interplay of agent and environment
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Formalisation and analysis of the temporal dynamics of conditioning
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
A Cognitive Model for Visual Attention and Its Application
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Empirical Analysis for Agent System Comprehension and Verification
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Model-based ambient analysis of human task execution
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Automated formal analysis of human multi-issue negotiation processes
Multiagent and Grid Systems
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society
Multi-Agent-Based Simulation VIII
Modelling and Automated Analysis of Organisations from the Air Traffic Management Domain
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
A Component-Based Ambient Agent Model for Assessment of Driving Behaviour
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
AmI '08 Proceedings of the European Conference on Ambient Intelligence
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint
Simulation and formal analysis of visual attention
Web Intelligence and Agent Systems
Graph-based methods for the analysis of large-scale multiagent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
An interface agent for attention manipulation
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling the Dynamics of Mood and Depression
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Towards Providing Social Knowledge by Event Tracing in Multiagent Systems
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Case analysis of criminal behaviour
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Integrating agent models and dynamical systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
On the complexity monotonicity thesis for environment, behaviour and cognition
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
TRAMMAS: A tracing model for multiagent systems
Engineering Applications of Artificial Intelligence
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to analyse the dynamics of such processes, often based on differential equations, are not always successful. As an alternative to differential equations, this paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations. A software environment has been developed for TTL, that supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different domains.