scientific article; zbMATH DE number 1759733

MaRDI QIDQ4536748zbMATHFDO

Authors

Publication date 22 July 2002

Mathematics Subject Classification ID

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

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

Cited in

(5)

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

Describes a project that uses

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)