MA Mikheyenkova, B Palyukh, A Vetrov… - CEUR Workshop …, 2021 - ceur-ws.org
The paper deals with the formalization of an artificial agent activity using the representation
of the agent's actions by logical means. The proposed approach characterizes the rationality …