A Stit Logic of Responsibility.

Aldo Iván Ramírez Abarca Jan M. Broersen

Published in: AAMAS (2022)

Keyphrases

logical framework
coalition logic
multi agent systems
inference rules
belief revision
reasoning tasks
modal logic
logic programming
computational complexity
satisfiability problem
regular expressions