Juan A. Rodríguez-Aguilar

1. On the Logic of Normative Systems
   2007/01/01 by Thomas Ågotnes, Wiebe van der Hoek, Ågotnes, Thomas +7 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Normative systems #Semantic Web and Ontologies #deontic logic #normative temporal logic
2. On the dominant set selection problem and its application to value alignment
   2021/07/30 by Marc Serramia, Maite López-Sánchez, Stefano Moretti +1 · 1 voice · 1 citation
   Computer Science · Decision Sciences · #Auction Theory and Applications #Logic, Reasoning, and Knowledge #Multi-Criteria Decision Making