Publicaciones en colaboración con investigadores/as de French Institute for Research in Computer Science and Automation (2)

2019

  1. Gelfond–Zhang aggregates as propositional formulas

    Artificial Intelligence, Vol. 274, pp. 26-43

2016

  1. An ASP semantics for default reasoning with constraints

    IJCAI International Joint Conference on Artificial Intelligence