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

DOI10.1080/0952813031000119719zbMath1105.68358OpenAlexW2075127816MaRDI QIDQ4467046

Ana Lilia Laureano-Cruces, Axel Arturo Barceló-Aspeitia

Publication date: 8 June 2004

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0952813031000119719

zbMATH Keywords

modal logicartificial intelligenceformal languagebehaviour-based agentscognitive task analysis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) General topics in artificial intelligence (68T01)

Uses Software

• KARO

Cites Work

• Linear logic
• Propositional dynamic logic of regular programs
• Models for reactivity
• On agent-based software engineering
• Information Flow
• REACTIVE AGENT DESIGN FOR INTELLIGENT TUTORING SYSTEMS
• Cognitive task analysis: a proposal to model reactive behaviours
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal verification of multi-agent systems behaviour emerging from cognitive task analysis