Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 198
| Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
| openAccess |  | 2016 | ABT with Clause Learning for Distributed SAT | Giraldez-Cru, Jesus; Meseguer, Pedro | Artículo |
| openAccess |  | 18-oct-2016 | Ontology alignment evaluation in the context of multi-agent interactions | Chocron, Paula; Schorlemmer, Marco | Artículo |
| closedAccess |  | 14-sep-2016 | On a three-valued logic to reason with prototypes and counterexamples and a similarity-based generalization | Dutta, Soma; Esteva, Francesc; Godo, Lluis | Artículo |
| openAccess | | 6-sep-2016 | Nominal Unification of Higher Order Expressions with Recursive Let | Schmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu | Artículo |
| closedAccess |  | 19-oct-2016 | Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network | Adrian, Kemo; Chocron, Paula; Confalonieri, Roberto; Ferrer, Xavier; Giraldez-Cru, Jesus | Artículo |
| openAccess |  | 6-jul-2016 | Interaction specifications as contexts for ontologies | Chocron, Paula; Schorlemmer, Marco | Artículo |
| openAccess |  | 29-ago-2016 | Connecting ABT with a SAT Solver | Giraldez-Cru, Jesus; Martin-Sanchez, Guillermo; Meseguer, Pedro | Artículo |
| openAccess | | 22-abr-2016 | Conceptual Blending in EL++ | Confalonieri, Roberto; Schorlemmer, Marco; Kutz, Oliver; Peñaloza, Rafael; Plaza, Enric; Eppe, Manfred | Artículo |
| openAccess |  | 31-oct-2016 | Concept Discovery and Argument Bundles in the Experience Web | Ferrer, Xavier; Plaza, Enric | Artículo |
| openAccess | | 29-ago-2016 | Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs | Jiang, Hua; Li, Chu Min; Manya, Felip | Artículo |
| closedAccess |  | 11-jul-2016 | Collaborative Multi-Robot Localisation with Qualitative Information | Perico, Danilo H.; Santos, Paulo E.; Bianchi, Reinaldo A.C.; Lopez de Mantaras, Ramon | Comunicación de congreso |
| openAccess | | 20-ago-2016 | Coherent Concept Invention | Schorlemmer, Marco; Confalonieri, Roberto; Plaza, Enric | Artículo |
| openAccess |  | 6-jul-2016 | Breaking Down Finance: A Method for Concept Simplification by Identifying Movement Structures from the Image Schema PATH-following | Gromann, Dagmar; Hedblom, Maria M. | Artículo |
| closedAccess |  | 29-ago-2016 | Attuning ontology alignments to semantically heterogeneous multi-agent interactions | Chocron, Paula; Schorlemmer, Marco | Artículo |
| openAccess | | 27-jun-2016 | A Process Model for Concept Invention | Confalonieri, Roberto; Plaza, Enric; Schorlemmer, Marco | Comunicación de congreso |
| openAccess | | 7-mar-2016 | Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs | Bauters, Kim; Liu, Weiru; Godo, Lluis | Artículo |
|  | 30-ago-2016 | A manifesto for conscientious design of hybrid online social systems | Noriega, Pablo; Verhagen, Harko; d’Inverno, Mark; Padget, Julian A. | |
| closedAccess |  | 12-dic-2016 | A Genetic Algorithm to Discover Flexible Motifs with Support | Serra, Joan; Matic, Aleksandar; Arcos, Josep Lluis; Karatzoglou, Alexandros | Artículo |
| openAccess | | 19-oct-2016 | A Clause Tableau Calculus for MinSAT | Li, Chumin; Manya, Felip; Soler, Joan Ramon | Artículo |
| closedAccess |  | 19-may-2016 | A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics | Soler, Joan Ramon; Manya, Felip | Artículo |
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 198
