4 found
Order:
  1.  9
    SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
  2.  5
    MaxSAT by improved instance-specific algorithm configuration.Carlos Ansótegui, Joel Gabàs, Yuri Malitsky & Meinolf Sellmann - 2016 - Artificial Intelligence 235 (C):26-39.
  3.  25
    Encoding Ethics to Compute Value-Aligned Norms.Marc Serramia, Manel Rodriguez-Soto, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Filippo Bistaffa, Paula Boddington, Michael Wooldridge & Carlos Ansotegui - 2023 - Minds and Machines 33 (4):761-790.
    Norms have been widely enacted in human and agent societies to regulate individuals’ actions. However, although legislators may have ethics in mind when establishing norms, moral values are only sometimes explicitly considered. This paper advances the state of the art by providing a method for selecting the norms to enact within a society that best aligns with the moral values of such a society. Our approach to aligning norms and values is grounded in the ethics literature. Specifically, from the literature’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  8
    WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation