scientific article; zbMATH DE number 1192312

MaRDI QIDQ3842793zbMATH OpenFDO

Authors Wiebe van der Hoek, Bernd van Linder, John-Jules Meyer

Publication date 20 August 1998

zbMATH Keywords

intelligent artificial agents

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Formalizing potential of agents. The KARO framework revisited
• scientific article; zbMATH DE number 1499111
• Ability in a Multi-agent Context: A Model in the Situation Calculus
• Reasoning about types of action and agent capabilities
• On programming KARO agents

Cited in

(16)

• Interactions between knowledge, action and commitment within agent dynamic logic
• On agents that have the ability to choose
• Local reductions for the modal cube
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
• Tracking and managing deemed abilities
• Formalizing potential of agents. The KARO framework revisited
• Bounded situation calculus action theories
• Formal Modelling of Emotions in BDI Agents
• Ability in a Multi-agent Context: A Model in the Situation Calculus
• Tableaux for logics of time and knowledge with interactions relating to synchrony
• scientific article; zbMATH DE number 1499111 (Why is no real title available?)
• scientific article; zbMATH DE number 1759733 (Why is no real title available?)
• Reasoning about types of action and agent capabilities
• Formalization of cognitive-agent systems, trust, and emotions
• A logic of intention and attempt
• An internal version of epistemic logic

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