A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
The psychology of proof: deductive reasoning in human thinking
The psychology of proof: deductive reasoning in human thinking
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Agent design patterns: elements of agent application design
AGENTS '98 Proceedings of the second international conference on Autonomous agents
International Journal of Human-Computer Studies
Evaluation of modeling techniques for agent-based systems
Proceedings of the fifth international conference on Autonomous agents
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Agent Modelling in METATEM and DESIRE
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Object-Oriented Analysis and Design with Applications (3rd Edition)
Object-Oriented Analysis and Design with Applications (3rd Edition)
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
| Hi-index | 0.00 |
Multi-representational reasoning processes often show a variety of reasoning paths that can be followed. To analyze such reasoning processes with special attention for differences between individuals, it is required (1) to obtain an overview of the variety of different possibilities and (2) to address navigation and control within the reasoning process. This paper presents a simulation model and a formal analysis method for the dynamics of a controlled reasoning process in which multiple representations play a role. Reasoning strategies to navigate through the space of possible reasoning states are modeled explicitly, and simulated. Simulation results are analyzed by software tools on the basis of formalized dynamic properties. The variety of dynamic properties specified and the variety of traces simulated provides an overview for the individual differences between subjects that have been observed while solving multiplication problems.