@InCollection{areces:deon22,
  author =       "C. Areces and V. Cassano and P. Castro and R. Fervari
                 and A. Saravia",
  publisher = {International Foundation for Autonomous Agents and
                  Multiagent Systems},
  address = {Richland, SC},
  title =        "A Deontic Logic of Knowingly Complying",
  booktitle =    "Proceedings of the 22nd International Conference on
                 Autonomous Agents and Multiagent Systems (AAMAS 2023)",
  pages = {364–372},
  numpages = {9},
  year =         "2023",
  isbn = {9781450394321},
  abstract =     "We introduce a logic for representing the deontic
                 notion of knowingly complying –associated to an
                 agent’s conciousness of taking a normative course of
                 action for achieving a certain goal. Our logic features
                 an operator for describing normative courses of
                 actions, and another operator for describing what each
                 agent knowingly complies with. We provide a sound and
                 complete axiom system for our logic, and study the
                 computational complexity of its satisfiability problem.
                 Finally, we extend our logic with an additional
                 operator for capturing the general abilities of the
                 agents. This operator enables us to distinguish ‘what
                 agents can do’ and ‘what agents do according to
                 norms’. For this extension, we also provide a sound
                 and complete axiom system.",
}