Author of the publication

Solving MaxSAT with Natural Deduction.

, , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 186-195. IOS Press, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts.. Open University of Catalonia, Spain, (2018)From Games to Moral Agents: Towards a Model for Moral Actions., and . CCIA, volume 319 of Frontiers in Artificial Intelligence and Applications, page 19-28. IOS Press, (2019)The logic of imaginary scenarios., , and . Log. J. IGPL, 28 (3): 363-388 (2020)A Common Frame for Formal Imagination., , and . Minds Mach., 29 (4): 603-634 (2019)Education, Ethical Dilemmas and AI: From Ethical Design to Artificial Morality., , and . HCI (31), volume 12792 of Lecture Notes in Computer Science, page 167-182. Springer, (2021)Towards Simulated Morality Systems: Role-Playing Games as Artificial Societies., , , , and . ICAART (1), page 244-251. SciTePress, (2019)Solving MaxSAT with Natural Deduction., , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 186-195. IOS Press, (2017)The Good, the Bad and the Robot: Projecting Attitudes into A.I.. CCIA, volume 319 of Frontiers in Artificial Intelligence and Applications, page 29-32. IOS Press, (2019)Towards the Design of Ethically-Aware Pedagogical Conversational Agents., and . 3PGCIC, volume 158 of Lecture Notes in Networks and Systems, page 188-198. Springer, (2020)Categorizing Morality Systems Through the Lens of Fallout., and . DiGRA Conference, Digital Games Research Association, (2019)