Informática
Facultat
![Foto de Informática](/img/uploaded/1AC8F643082BAEBABE3378633B56B375.jpg)
![Foto de Universitat de Girona](/img/noimage_org.png)
Universitat de Girona
Girona, EspañaPublicacions en col·laboració amb investigadors/es de Universitat de Girona (13)
2022
-
I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022
CEUR Workshop Proceedings
2019
-
Resource Analysis driven by (Conditional) Termination Proofs
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739
2018
-
Exploring the influence of industries and randomness in stock prices
Empirical Economics, Vol. 55, Núm. 2, pp. 713-729
2017
-
A hybrid automated trading system based on multi-objective grammatical evolution
Journal of Intelligent and Fuzzy Systems, Vol. 32, Núm. 3, pp. 2461-2475
-
A meta-grammatical evolutionary process for portfolio selection and trading
Genetic Programming and Evolvable Machines, Vol. 18, Núm. 4, pp. 411-431
2013
-
Paramodulation with non-monotonic orderings and simplification
Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 51-98
2009
-
Paramodulation with well-founded orderings
Journal of Logic and Computation, Vol. 19, Núm. 2, pp. 263-302
2008
-
A write-based solver F or SAT modulo the theory of arrays
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD
-
The Barcelogic SMT solver: Tool paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
-
Redundancy notions for paramodulation with non-monotonic orderings
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2003
-
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
Journal of Automated Reasoning, Vol. 30, Núm. 1, pp. 99-120
2002
-
Well-foundedness is sufficient for completeness of ordered paramodulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000
-
Modular redundancy for theorem proving
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)