Formalizing potential of agents. The KARO framework revisited

MaRDI QIDQ2702561zbMATH OpenFDO

Authors Wiebe van der Hoek, J. W. van Schagen, John-Jules Meyer

Publication date 12 March 2001

zbMATH Keywords

proof system\(\omega\)-rules

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1192312
• scientific article; zbMATH DE number 1499111
• On programming KARO agents
• scientific article; zbMATH DE number 1759733
• Interactions between knowledge, action and commitment within agent dynamic logic

Cited in

(5)

• scientific article; zbMATH DE number 1192312 (Why is no real title available?)
• On programming KARO agents
• KARO
• Reasoning about emotional agents
• scientific article; zbMATH DE number 1759733 (Why is no real title available?)

This page was built for publication: Formalizing potential of agents. The KARO framework revisited

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