Francesc Guitart

Orcid: 0000-0001-6070-5190

According to our database1, Francesc Guitart authored at least 13 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics.
J. Log. Comput., 2016

Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming.
J. Exp. Theor. Artif. Intell., 2016

2015
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers.
AI Commun., 2015

2014
Algorithms and efficient encodings for argumentation frameworks and arithmetic problems.
PhD thesis, 2014

On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP.
Proceedings of the Artificial Intelligence Research and Development, 2014

2013
On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Web Based System for Weighted Defeasible Argumentation.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers.
Proceedings of the Artificial Intelligence Research and Development, 2013

2012
Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011
Maximal Ideal Recursive Semantics for Defeasible Argumentation.
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Towards an Efficient Use of Resources in All-Optical Networks.
Proceedings of the Artificial Intelligence Research and Development, 2011

2010
Solving Pseudo-Boolean Modularity Constraints.
Proceedings of the ECAI 2010, 2010

Encoding Basic Arithmetic Operations for SAT-Solvers.
Proceedings of the Artificial Intelligence Research and Development, 2010


  Loading...