Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Francesc Guitart
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.