One important function of logics of agency (Stit Logic, ATL, CL, Dynamic Logic) is to assess the validity of arguments whereby responsibility is attributed ...

Oct 22, 2024 · One important function of logics of agency (Stit Logic, ATL, CL, Dynamic Logic) is to assess the validity of arguments whereby ...

One important function of logics of agency (Stit Logic, ATL, CL, Dynamic Logic) is to assess the validity of arguments whereby responsibility is attributed ...

This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and ...

Broersen, J.: A logical analysis of the interaction between 'obligation-to-do' and 'knowingly doing'. In: van der Meyden, R., van der Torre, L. (eds.) ...

Ciuni, R., & Mastop, RJ. (2009). Attributing distributed responsibility in Stit logic. Lecture Notes in Computer Science, 5834, 66-75. Ciuni, R ; Mastop, RJ. / ...

Bibliographic details on Attributing Distributed Responsibility in Stit Logic.

Ciuni, R., Mastop, R. (2009). Attributing distributed responsibility in stit logic. In Lecture Notes in Computer Science (including subseries Lecture Notes ...

Nov 21, 2024 · We propose a refinement of STIT logic to make it suitable to model causal agency and responsibility in basic multi-agent scenarios in which ...

Abstract This paper has two main goals: highlighting the connections between Stit logics and game theory and comparing Stit logics with Matrix Game Logic, ...