Executing Specifications of Social Reasoning Agents

DOI10.1007/978-3-642-20715-0_7MaRDI QIDQ2999242zbMATH OpenOpenAlexFDO

Authors Iain M. Wallace, Michael Rovatsos

Publication date 11 May 2011

Published in Declarative Agent Languages and Technologies VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20715-0_7

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Specification and verification of agent interaction using social integrity constraints
• Global Computing
• Logic Programming and Nonmonotonic Reasoning
• Modeling reasoning in a social setting
• Specification and Verification of Agent Interaction Using Abductive Reasoning

Cited in

(1)

• Modeling reasoning in a social setting

Describes a project that uses

Uses Software

• AgentSpeak

This page was built for publication: Executing Specifications of Social Reasoning Agents

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