logo

Monday 20th of November 2017

Latest Version

Feed Icon Sudoku Generator 0.10 stable
Release Date: 2010-04-16

Home Publications

Publications

Year: 2017
Year: 2016
  • T. Alsinet, R. Béjar, L. Godo and F. Guitart. "Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming", J. Exp. Theor. Artif. Intell., Vol. 28. 2016, pp. 275-294. [More] [Digital version]
  • J. Argelich, R. Béjar, C. Fernández, C. Mateu and J. Planes. "On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes", Annals of Mathematics and Artificial Intelligence. 2016, pp. 1-24. [More] [Digital version]
  • A. Ignatiev, A. Morgado, J. Planes and J. Marques{-}Silva. "Maximal falsifiability", AI Commun., Vol. 29. 2016, pp. 351-370. [More] [Digital version]
  • C. Fernández, C. Mateu, R. Moral and F. Sole-Mauri. "A predictor model for the composting process on an industrial scale based on Markov processes", Environmental Modelling & Software, Vol. 79. 2016, pp. 156 - 166. [More] [Digital version]
  • N. López, J. M. Miret and C. Fernández. "Non existence of some mixed Moore graphs of diameter 2 using SAT", Discrete Mathematics, Vol. 339. 2016, pp. 589 - 596. [More] [Digital version]
Year: 2015
  • T. Alsinet, R. Béjar, C. Fernández, F. Guitart and C. Mateu. "Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers", {AI} Commun., Vol. 28. 2015, pp. 21-34. [More] [Digital version]
  • E. Gabaldon, J. L. Lerida, F. Guirado and J. Planes. "Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open", J. Simulation, Vol. 9. 2015, pp. 287-295. [More] [Digital version]
  • A. de Gracia, C. Fernández, A. Castell, C. Mateu and L. F. Cabeza. "Control of a PCM ventilated facade using reinforcement learning techniques", Energy and Buildings, Vol. 106. 2015, pp. 234 - 242. [More] [Digital version]
  • C. Fernández, F. Manyà, C. Mateu and F. Sole-Mauri. "Approximate dynamic programming for automated vacuum waste collection systems", Environmental Modelling & Software, Vol. 67. 2015, pp. 128 - 137. [More] [Digital version]
  • A. de Gracia, A. Castell, C. Fernández and L. F. Cabeza. "A simple model to predict the thermal performance of a ventilated facade with phase change materials", Energy and Buildings, Vol. 93. 2015, pp. 137 - 142. [More] [Digital version]
Year: 2014
  • E. Gabaldon, J. L. Lérida, F. Guirado and J. Planes. "Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments". Nature of Computation and Communication - International Conference, {ICTCC} 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. 2014. pp. 181-190. [More] [Digital version]
  • C. Fernández, F. Manyà, C. Mateu and F. Sole-Mauri. "Modeling energy consumption in automated vacuum waste collection systems", Environmental Modelling & Software, Vol. 56. 2014, pp. 63 - 73. [More] [Digital version]
  • J. Argelich, C. M. Li, F. Manyà and Z. Zhu. "Many-Valued MinSAT Solving". IEEE 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014. 2014. pp. 32-37. [More] [Digital version]
  • T. Alsinet, R. Bejar, L. Godo and F. Guitart. "RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics", Journal of Logic and Computation. 2014. [More] [Digital version]
Year: 2013
Results 1 - 25 of 160
« StartPrev1234567NextEnd »

Joomla Template Download From Joomlatp.com Designed by: Free Joomla 1.5 Theme, ftp account. Valid XHTML and CSS.