Encoding Basic Arithmetic Operations for SAT-Solvers. - Ramón Béjar; Cèsar Fernández; Francesc Guitart (CCIA, 2010)

Solving Pseudo-Boolean Modularity Constraints. - Carlos Ansótegui; Ramón Béjar; Cèsar Fernández; Francesc Guitart; Carles Mateu (ECAI, 2010)

Towards an Efficient Use of Resources in All-Optical Networks. - Ramón Béjar; Cèsar Fernández; Francesc Guitart; Carles Mateu (CCIA, 2011)

Maximal Ideal Recursive Semantics for Defeasible Argumentation. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (SUM, 2011)

Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (ICTAI, 2012)

Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers. - Ramón Béjar; Cèsar Fernández; Carles Mateu; Francesc Guitart (CCIA, 2013)

Web Based System for Weighted Defeasible Argumentation. - Teresa Alsinet; Ramón Béjar; Francesc Guitart; Lluís Godo (CLIMA, 2013)

On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (SUM, 2013)

On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (CCIA, 2014)

Algorithms and efficient encodings for argumentation frameworks and arithmetic problems. - Francesc Guitart (2014)

Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers. - Teresa Alsinet; Ramón Béjar; Cèsar Fernández; Francesc Guitart; Carles Mateu (AI Commun., 2015)

Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (J. Exp. Theor. Artif. Intell., 2016)

RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. - Teresa Alsinet; Ramón Béjar; Lluís Godo; Francesc Guitart (J. Log. Comput., 2016)