Francesc Guitart

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