Formal verification of multi-agent systems behaviour emerging from cognitive task analysis

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Journal of experimental and theoretical artificial intelligence (Print)

• Publication date

  2003-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1080/0952813031000119719
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Session 2: Distributed systems

  2009influential reference
• The Oxford Companion to the Mind

  2005cited by this paper
• The Oxford companion to the mind

  2004cited by this paper
• Interaction Modal Logic for multiagent systems based on BDI architecture

  2001cited by this paper
• Reasoning about agents in the KARO framework

  2001cited by this paper
• Dynamic logic

  2001cited by this paper
• Understanding Agent Systems

  2001cited by this paper
• Cognitive task analysis: a proposal to model reactive behaviours

  2001cited by this paper
• REACTIVE AGENT DESIGN FOR INTELLIGENT TUTORING SYSTEMS

  2000cited by this paper
• The Logic of Provability.

  1999cited by this paper
• OBJECT EVOLUTION IN OBJECT DATABASES

  1999cited by this paper
• Un Modelo Evolutivo de Redes de Comportamiento para Agentes Autónomos que utilizan mecanismos de emergencia

  1999cited by this paper
• Knowledge maintenance: the state of the art

  1999cited by this paper
• A perspective on software agents research

  1999cited by this paper
• The Logic of Provability

  1998cited by this paper
• Multi-Agent Architecture for Intelligent Tutoring Systems

  1998cited by this paper
• Satis ability problem in description logics with modal operators

  1998cited by this paper
• Agent-based software engineering

  1997cited by this paper
• Conceptual modelling

  1997cited by this paper
• Modal Logic as a Theory of Information

  1996cited by this paper
• Lecture to the London Mathematical Society on 20 February 1947. 1986.

  1995cited by this paper
• Complex behaviour generation on autonomous robots: a case study

  1995cited by this paper
• Time and change for AI

  1995cited by this paper
• A Formal Framework for Agency and Autonomy

  1995influential reference
• Situation Theory and its Applications

  1995cited by this paper
• Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations

  1995cited by this paper
• Models for reactivity

  1993cited by this paper
• A Multi-Dimensional Terminological Knowledge Representation Language

  1993cited by this paper
• Linear logic

  1992cited by this paper
• A Standard Procedure for Conducting Cognitive Task Analysis.

  1992cited by this paper
• 環境 Environment について

  1992cited by this paper
• Situation Theory and its Applications, Volume 1

  1991cited by this paper
• Intelligence Without Reason

  1991influential reference
• Intelligence without Representation

  1991influential reference
• Could a machine think?

  1990cited by this paper
• Situated agents can have goals

  1990cited by this paper
• Designing autonomous agents: Theory and practice from biology to engineering and back

  1990cited by this paper
• Intelligence as Adaptive Behavior: An Experiment in Computational Neuroethology

  1990cited by this paper
• The Knowledge Level

  1989cited by this paper
• The situation in logic

  1989cited by this paper
• Three Views of Common Knowledge

  1988cited by this paper
• An Architecture for Intelligent Reactive Systems

  1987cited by this paper
• Temporal logics and their applications

  1987cited by this paper
• Situations and Attitudes.

  1986cited by this paper
• Understanding Z : A specification language and its formal semantics

  1985influential reference
• On conceptual modelling - perspectives from artificial intelligence, databases and programming languages

  1984cited by this paper
• Center for the Study of Language and Information

  1983cited by this paper
• The Knowledge Level (Presidential Address)

  1981cited by this paper
• Propositional Dynamic Logic of Regular Programs

  1979cited by this paper
• Propositional modal logic of programs

  1977cited by this paper
• SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

  1976cited by this paper
• Handbook of logic

  1966cited by this paper
• Computing Machinery and Intelligence

  1950cited by this paper
• To appear in: Knowledge Engineering Review, 1996 Software Agents: An Overview

  year unknowncited by this paper

• AI Social Responsibility as Reachability: Execution-Level Semantics for the Social Responsibility Stack

  2026cites this paper
• Visual Scaffolding in Control Structures: An Educational Proposal for Introductory Programming Courses

  2026cites this paper
• An Emotion Model for Predator-Prey Bird Behavior

  2025cites this paper
• Agent systems verification : systematic literature review and mapping

  2018cites this paper
• Advances in Swarm Intelligence

  2016cites this paper
• Swarm Intelligence in Architectural Design

  2016cites this paper
• Multi-Agent System for Real Time Planning Using Collaborative Agents

  2014cites this paper
• A Reactive Behavior Agent: Including Emotions into a Video Game

  2012cites this paper
• Cognitive Model to Estimate Static Formation Temperatures in Oil Wells: Inverse Problem

  2008cites this paper
• Agents control in intelligent learning systems: The case of reactive characteristics

  2006cites this paper
• Behavioral design to model a reactive decision of an expert in geothermal wells

  2005cites this paper
• Reactive Agents to Improve a Parallel Genetic Algorithm Solution

  2004cites this paper
• A comparison of the linguistic Choquet and Sugeno fuzzy integrals

  2001cites this paper