scientific article; zbMATH DE number 1952789

MaRDI QIDQ4414255zbMATH OpenFDO

Authors Hans-Georg Weigand, Virginia Dignum, John-Jules Meyer, Frank Dignum

Publication date 23 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2577/25770257.htm

Mathematics Subject Classification ID

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

Recommendations

• Specification and Verification of Agent Interaction Using Abductive Reasoning
• A logic of agent organizations
• Logic Programming
• scientific article; zbMATH DE number 2085238
• A method and tool for design of multi-agent systems

Cited in

(5)

• The refinement of multi-agent systems
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• scientific article; zbMATH DE number 2090904 (Why is no real title available?)
• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• An algebraic approach for modelling organisation, roles and contexts in MAS

This page was built for publication:

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