Agent specification using multi-context systems

DOI10.1007/3-540-45634-1_13MaRDI QIDQ4813559zbMATH OpenFDO

Authors Simon Parsons, Nicholas R. Jennings, Jordi Sabater, Carles Sierra

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2403/24030205.htm, https://figshare.com/articles/journal_contribution/Agent_specification_using_multi-context_systems/24380305

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Computing methodologies and applications (68U99)

Recommendations

• Engineering Executable Agents using Multi-context Systems
• Using multi-context systems to engineer executable agents
• A formal specification of M-agent architecture
• Towards agent systems engineering
• Logical foundations of agent-based computing

Cited in

(19)

• Agent coordination contexts for the formal specification and enactment of coordination and security policies
• Using multi-context systems to engineer executable agents
• An algorithm for recruitment of agents in agency design
• Intelligent agents for monitoring systems
• A requirement specification language for configuration dynamics of multiagent systems
• Contextual Terminologies
• The role of castes in formal specification of MAS
• Architecture specification for design of agent-based system in domain view
• Specification of heterogeneous agent architectures
• A requirement specification language for configuration dynamics of multi-agent systems
• Engineering Executable Agents using Multi-context Systems
• scientific article; zbMATH DE number 2172820 (Why is no real title available?)
• Meta-level architecture for executing multi-agent scenarios
• A formal specification of M-agent architecture
• A language for the execution of graded BDI agents
• Contextual Reasoning in Agent Systems
• Multi-agent coordination as distributed logic programming
• Objects, Agents, and Features
• Multi-agent systems specification and certification: a situation and state calculus approach

This page was built for publication: Agent specification using multi-context systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813559)