scientific article; zbMATH DE number 1759733

zbMATH Open0988.68180MaRDI QIDQ4536748FDOQ4536748

Authors:

Publication date: 22 July 2002

Title of this publication is not available (Why is that?)

Recommendations

• On programming KARO agents
• scientific article; zbMATH DE number 2182495
• Formalizing potential of agents. The KARO framework revisited
• scientific article; zbMATH DE number 1192312
• Reasoning about emotional agents

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Cited In (5)

• Clausal resolution in a logic of rational agency
• Formalizing potential of agents. The KARO framework revisited
• Interactions between knowledge, action and commitment within agent dynamic logic
• On programming KARO agents
• Where logic and agents meet

Uses Software

• KARO
• SPASS

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 Q4536748)