- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
![Foto de - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)](/img/noimage.png)
![Foto de Instituto de Investigación en Inteligencia Artificial](/img/noimage_org.png)
Instituto de Investigación en Inteligencia Artificial
Cerdanyola del Vallès, EspañaPublicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (91)
2023
-
Encoding Ethics to Compute Value-Aligned Norms
Minds and Machines, Vol. 33, Núm. 4, pp. 761-790
2022
-
Incomplete MaxSAT approaches for combinatorial testing
Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431
-
Scale-Free Random SAT Instances
Algorithms, Vol. 15, Núm. 6
-
Yet Another (Fake) Proof of P=NP
Frontiers in Artificial Intelligence and Applications
2021
-
Reducing SAT to Max2SAT
IJCAI International Joint Conference on Artificial Intelligence
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
-
Phase transition in realistic random SAT models
Frontiers in Artificial Intelligence and Applications
2018
-
A probabilistic author-centered model for twitter discussions
Communications in Computer and Information Science
-
Exploiting Moral Values to Choose the Right Norms
AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society
2017
-
Structure features for SAT instances classification
Journal of Applied Logic, Vol. 23, pp. 27-39
2016
-
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Fuzzy Sets and Systems, Vol. 292, pp. 32-48
-
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53
-
Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming
Journal of Experimental and Theoretical Artificial Intelligence, Vol. 28, Núm. 1-2, pp. 275-294
-
RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics
Journal of Logic and Computation, Vol. 26, Núm. 4, pp. 1315-1360
2015
-
Approximate dynamic programming for automated vacuum waste collection systems
Environmental Modelling and Software, Vol. 67, pp. 128-137
-
On the Classification of Industrial SAT Families
Frontiers in Artificial Intelligence and Applications
-
Using community structure to detect relevant learnt clauses
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Modeling energy consumption in automated vacuum waste collection systems
Environmental Modelling and Software, Vol. 56, pp. 63-73
-
On the characterization of the maximal ideal recursive semantics of RP-DeLP
Frontiers in Artificial Intelligence and Applications
-
SAT and SMT technology for many-valued logics
Journal of Multiple-Valued Logic and Soft Computing, Vol. 24, Núm. 1-4, pp. 151-172