Fuzzy XPath for the automatic search of fuzzy formulae models

Autor: Almendros-Jiménez, Jesús M., Bofill Arasa, Miquel, Luna-Tedesqui, Alejandro, Moreno, Ginès, Vàzquez, Carlos, Villaret i Ausellé, Mateu

Publikováno v: © Lecture Notes in Computer Science, 2015, vol. 9310, p. 385-398
Articles publicats (D-IMA)
DUGiDocs – Universitat de Girona
instname

In this paper we deal with propositional fuzzy formulae containing several propositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. Instead of focusing on satisfiability (i.e., proving the existence

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::d97e09ea227e8ccfd2630dfbbcc243e9
http://hdl.handle.net/10256/13726

SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format

Autor: Bofill Arasa, Miquel, Palahí i Sitges, Miquel, Suy Franch, Josep, Villaret i Ausellé, Mateu

Publikováno v: Recercat. Dipósit de la Recerca de Catalunya
instname
© Constraint Modelling and Reformulation, 8th International Workshop : Lisbon, Portugal, September, 2009, p.30-45
Articles publicats (D-IMA)
DUGiDocs – Universitat de Girona

In this paper we introduce Simply, a compiler from a declarative language for CSP modeling to the standard SMT-LIB format. The current version of Simply is able to generate problem instances falling into the quanti er free linear integer arithmetic l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::548ca501d0d478a9ff73956713acf576
http://hdl.handle.net/10256/8406

SMT techniques for planning problems

Autor: Espasa Arxer, Joan

Publikováno v: TDX (Tesis Doctorals en Xarxa)
DUGiDocs – Universitat de Girona
instname
TDR. Tesis Doctorales en Red

Automated planning is a discipline in the field of Artificial Intelligence that can be described as the process of finding a course of action that achieves a specified task. In other words, it focuses on reasoning about causal structures and identify

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e9615ba91e855b78805f34587b49a64
http://hdl.handle.net/10256/16403

Snowman Editor : A level design tool for the game A Good Snowman Is Hard To Build

Autor: Martin Teixidor, Gerard

Publikováno v: Enginyeria Informàtica (TFG)
DUGiDocs – Universitat de Girona
instname

In the design of video-games, one of the most important aspects to consider is the difficulty in the design of the different levels. A common problem is the possibility of finding possible solutions that were not planned. These solutions may not be d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::b33cd563f4661dd90703141940bf850e
http://hdl.handle.net/10256/17929

Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem

Autor: Garcia Oliveras, Marc

Publikováno v: Màster en Enginyeria Informàtica
DUGiDocs – Universitat de Girona
instname
Recercat. Dipósit de la Recerca de Catalunya

Business-to-business (B2B) are events where brief meetings between participants with similar interests are celebrated. These participants can be companies, investors, research groups, etc. That kind of events come up in several fields like sports, so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4cabed2d3b23dfe1310cafd02418f674
http://hdl.handle.net/10256/13081