- Enginyeria Informàtica i Disseny Digital

2008

1. A MAX-SAT algorithm portfolio

   Frontiers in Artificial Intelligence and Applications

2. A level-based approach to computing warranted arguments in possibilistic defeasible programming

   Frontiers in Artificial Intelligence and Applications

3. A logic programming framework for possibilistic argumentation: Formalization and logical properties

   Fuzzy Sets and Systems, Vol. 159, Núm. 10, pp. 1208-1228

4. A platform for object-action semantic web interaction

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

5. A preprocessor for Max-SAT solvers

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. A web ontology for copyright contract management

   International Journal of Electronic Commerce, Vol. 12, Núm. 4, pp. 99-114

7. Algorithms for maximum satisfiability using unsatisfiable cores

   Proceedings -Design, Automation and Test in Europe, DATE

8. Algorithms for maximum satisfiability using unsatisfiable cores

   2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3

9. An efficient solver for weighted Max-SAT

   Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73

10. Collaborative explicit plasticity framework: A conceptual scheme for the generation of plastic and group-aware user interfaces

    Journal of Universal Computer Science

11. Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT

    JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes

12. Copyright management for the LUISA semantic learning content management system

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

13. Design and implementation of exact MAX-SAT solvers

    [Cerdanyola del Vallès] : Institut d'Investigació en Intel·ligencia Artificial, 2008

14. Difficulties on tree volume measurement from a ground laser scanner

    Conference Record - IEEE Instrumentation and Measurement Technology Conference

15. Edge matching puzzles as hard SAT/CSP benchmarks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

16. El turismo de negocios y universidad. El caso de Lleida

    Turismo de negocios y reuniones: "convenciones, congresos e incentivos"

17. Encoding Max-CSP into partial Max-SAT

    Proceedings of The International Symposium on Multiple-Valued Logic

18. Enhancing prediction on non-dedicated clusters

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

19. Enhancing usability testing through datamining techniques: A novel approach to detecting usability problem patterns for a context of use

    Information and Software Technology, Vol. 50, Núm. 6, pp. 547-568

20. Exploring the role of time and errors in real-life usability for older people and ICT

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)