On agents that have the ability to choose

DOI10.1023/A:1026796912842zbMath0971.03022OpenAlexW2119097496MaRDI QIDQ1840648

Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer

Publication date: 23 October 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026796912842

zbMATH Keywords

ability and non-deterministic actionsformalizing knowledgemodal logics of agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (3)

Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Formal Modelling of Emotions in BDI Agents ⋮ Challenges in the Specification of Full Contracts

This page was built for publication: On agents that have the ability to choose