Francesc Guitart

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Topics

Eigenvalue Problems

Defeasible Logic Programming

Defeasible Argumentation

Top Venues

J. Log. Comput.

Publications

Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming. J. Exp. Theor. Artif. Intell. 28 (1-2) (2016)
Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. J. Log. Comput. 26 (4) (2016)
Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers. AI Commun. 28 (1) (2015)
Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA (2014)
Ramón Béjar, Cèsar Fernández, Carles Mateu, Francesc Guitart
Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers. CCIA (2013)
Teresa Alsinet, Ramón Béjar, Francesc Guitart, Lluís Godo
Web Based System for Weighted Defeasible Argumentation. CLIMA (2013)
Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. SUM (2013)
Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation. ICTAI (2012)
Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
Towards an Efficient Use of Resources in All-Optical Networks. CCIA (2011)
Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart
Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM (2011)
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
Solving Pseudo-Boolean Modularity Constraints. ECAI (2010)
Ramón Béjar, Cèsar Fernández, Francesc Guitart
Encoding Basic Arithmetic Operations for SAT-Solvers. CCIA (2010)