BibTeX records: Francesc Guitart

download as .bib file

@article{DBLP:journals/jetai/AlsinetBGG16,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  title        = {Formalisation and logical properties of the maximal ideal recursive
                  semantics for weighted defeasible logic programming},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {28},
  number       = {1-2},
  pages        = {275--294},
  year         = {2016},
  url          = {https://doi.org/10.1080/0952813X.2015.1024490},
  doi          = {10.1080/0952813X.2015.1024490},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/AlsinetBGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlsinetBGG16,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  title        = {RP-DeLP: a weighted defeasible argumentation framework based on a
                  recursive semantics},
  journal      = {J. Log. Comput.},
  volume       = {26},
  number       = {4},
  pages        = {1315--1360},
  year         = {2016},
  url          = {https://doi.org/10.1093/logcom/exu008},
  doi          = {10.1093/LOGCOM/EXU008},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/AlsinetBGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/AlsinetBFGM15,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Francesc Guitart and
                  Carles Mateu},
  title        = {Solving the Routing and Wavelength Assignment problem with conflict-driven
                  {ASP} solvers},
  journal      = {{AI} Commun.},
  volume       = {28},
  number       = {1},
  pages        = {21--34},
  year         = {2015},
  url          = {https://doi.org/10.3233/AIC-140619},
  doi          = {10.3233/AIC-140619},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/AlsinetBFGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Bravo14,
  author       = {Francesc Guitart},
  title        = {Algorithms and efficient encodings for argumentation frameworks and
                  arithmetic problems},
  school       = {University of Lleida, Spain},
  year         = {2014},
  url          = {http://hdl.handle.net/10803/284474},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/es/Bravo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AlsinetBGG14,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  editor       = {Lled{\'{o}} Museros Cabedo and
                  Oriol Pujol and
                  N{\'{u}}ria Agell},
  title        = {On the Characterization of the Maximal Ideal Recursive Semantics of
                  RP-DeLP},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 17th International Conference of the Catalan Association for Artificial
                  Intelligence, Barcelona, Catalonia, Spain, October 22-24, 2014},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {269},
  pages        = {215--224},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-452-7-215},
  doi          = {10.3233/978-1-61499-452-7-215},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccia/AlsinetBGG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFMG13,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Carles Mateu and
                  Francesc Guitart},
  editor       = {Karina Gibert and
                  Vicent J. Botti and
                  Ram{\'{o}}n Reig Bola{\~{n}}o},
  title        = {Solving Routing and Wavelength Assignment Problem with Conflict-Driven
                  {ASP} Solvers},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 16th International Conference of the Catalan Association for Artificial
                  Intelligence, Vic, Catalonia, Spain, October 23-25, 2013},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {256},
  pages        = {60--63},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-320-9-60},
  doi          = {10.3233/978-1-61499-320-9-60},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFMG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/AlsinetBGG13,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Francesc Guitart and
                  Llu{\'{\i}}s Godo},
  editor       = {Jo{\~{a}}o Leite and
                  Tran Cao Son and
                  Paolo Torroni and
                  Leon van der Torre and
                  Stefan Woltran},
  title        = {Web Based System for Weighted Defeasible Argumentation},
  booktitle    = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
                  {CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8143},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40624-9\_10},
  doi          = {10.1007/978-3-642-40624-9\_10},
  timestamp    = {Fri, 09 Apr 2021 18:38:27 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/AlsinetBGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/AlsinetBGG13,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  editor       = {Weiru Liu and
                  V. S. Subrahmanian and
                  Jef Wijsen},
  title        = {On the Implementation of a Multiple Output Algorithm for Defeasible
                  Argumentation},
  booktitle    = {Scalable Uncertainty Management - 7th International Conference, {SUM}
                  2013, Washington, DC, USA, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8078},
  pages        = {71--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40381-1\_6},
  doi          = {10.1007/978-3-642-40381-1\_6},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sum/AlsinetBGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AlsinetBGG12,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  title        = {Using Answer Set Programming for an Scalable Implementation of Defeasible
                  Argumentation},
  booktitle    = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages        = {1016--1021},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICTAI.2012.171},
  doi          = {10.1109/ICTAI.2012.171},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/AlsinetBGG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFGM11,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Francesc Guitart and
                  Carles Mateu},
  editor       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Hector Geffner and
                  Felip Many{\`{a}}},
  title        = {Towards an Efficient Use of Resources in All-Optical Networks},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 14th International Conference of the Catalan Association for Artificial
                  Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {232},
  pages        = {61--70},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-842-7-61},
  doi          = {10.3233/978-1-60750-842-7-61},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/AlsinetBGG11,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Llu{\'{\i}}s Godo and
                  Francesc Guitart},
  editor       = {Salem Benferhat and
                  John Grant},
  title        = {Maximal Ideal Recursive Semantics for Defeasible Argumentation},
  booktitle    = {Scalable Uncertainty Management - 5th International Conference, {SUM}
                  2011, Dayton, OH, USA, October 10-13, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6929},
  pages        = {96--109},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23963-2\_9},
  doi          = {10.1007/978-3-642-23963-2\_9},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/AlsinetBGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFG10,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Francesc Guitart},
  editor       = {Ren{\'{e}} Alqu{\'{e}}zar and
                  Antonio Moreno and
                  Josep Aguilar{-}Martin},
  title        = {Encoding Basic Arithmetic Operations for SAT-Solvers},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 13th International Conference of the Catalan Association for Artificial
                  Intelligence, l'Espluga de Francol{\'{\i}}, Tarragona, Spain,
                  20-22 October 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {210},
  pages        = {239--248},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-643-0-239},
  doi          = {10.3233/978-1-60750-643-0-239},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AnsoteguiBFGM10,
  author       = {Carlos Ans{\'{o}}tegui and
                  Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Francesc Guitart and
                  Carles Mateu},
  editor       = {Helder Coelho and
                  Rudi Studer and
                  Michael J. Wooldridge},
  title        = {Solving Pseudo-Boolean Modularity Constraints},
  booktitle    = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
                  Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {215},
  pages        = {867--872},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-606-5-867},
  doi          = {10.3233/978-1-60750-606-5-867},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/AnsoteguiBFGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics