English   español  

(IIIA) Comunicaciones congresos : [198]  

Buscar
Suscribirse para recibir un email cada vez que se grabe un nuevo ítem en esta colección. RSS Feed RSS Feed RSS Feed
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 198
 Siguiente >
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
openAccessCAEPIA2016_LNCS9868.183-93.pdf.jpg2016ABT with Clause Learning for Distributed SATGiraldez-Cru, Jesus; Meseguer, PedroArtículo
openAccessOM2016_CEUR1766(25-36).pdf.jpg18-oct-2016Ontology alignment evaluation in the context of multi-agent interactionsChocron, Paula; Schorlemmer, MarcoArtículo
closedAccessaccesoRestringido.pdf.jpg14-sep-2016On a three-valued logic to reason with prototypes and counterexamples and a similarity-based generalizationDutta, Soma; Esteva, Francesc; Godo, LluisArtículo
openAccess6-sep-2016Nominal Unification of Higher Order Expressions with Recursive LetSchmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, MateuArtículo
closedAccessaccesoRestringido.pdf.jpg19-oct-2016Link Prediction in Evolutionary Graphs - The Case Study of the CCIA NetworkAdrian, Kemo; Chocron, Paula; Confalonieri, Roberto; Ferrer, Xavier; Giraldez-Cru, JesusArtículo
openAccessJOWO2016(CEUR1660).pdf.jpg6-jul-2016Interaction specifications as contexts for ontologiesChocron, Paula; Schorlemmer, MarcoArtículo
openAccessSTAIRS 2016_FAIA284(179-84).pdf.jpg29-ago-2016Connecting ABT with a SAT SolverGiraldez-Cru, Jesus; Martin-Sanchez, Guillermo; Meseguer, PedroArtículo
openAccess22-abr-2016Conceptual Blending in EL++Confalonieri, Roberto; Schorlemmer, Marco; Kutz, Oliver; Peñaloza, Rafael; Plaza, Enric; Eppe, ManfredArtículo
openAccessLNAI9969_108-123.pdf.jpg31-oct-2016Concept Discovery and Argument Bundles in the Experience WebFerrer, Xavier; Plaza, EnricArtículo
openAccess29-ago-2016Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large GraphsJiang, Hua; Li, Chu Min; Manya, FelipArtículo
closedAccessaccesoRestringido.pdf.jpg11-jul-2016Collaborative Multi-Robot Localisation with Qualitative InformationPerico, Danilo H.; Santos, Paulo E.; Bianchi, Reinaldo A.C.; Lopez de Mantaras, RamonComunicación de congreso
openAccess20-ago-2016Coherent Concept InventionSchorlemmer, Marco; Confalonieri, Roberto; Plaza, EnricArtículo
openAccessJOWO2016_V.1660.pdf.jpg6-jul-2016Breaking Down Finance: A Method for Concept Simplification by Identifying Movement Structures from the Image Schema PATH-followingGromann, Dagmar; Hedblom, Maria M.Artículo
closedAccessaccesoRestringido.pdf.jpg29-ago-2016Attuning ontology alignments to semantically heterogeneous multi-agent interactionsChocron, Paula; Schorlemmer, MarcoArtículo
openAccess27-jun-2016A Process Model for Concept InventionConfalonieri, Roberto; Plaza, Enric; Schorlemmer, MarcoComunicación de congreso
openAccess7-mar-2016Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPsBauters, Kim; Liu, Weiru; Godo, LluisArtículo
LNAI_10315.p.60-78.pdf.jpg30-ago-2016A manifesto for conscientious design of hybrid online social systemsNoriega, Pablo; Verhagen, Harko; d’Inverno, Mark; Padget, Julian A.
closedAccessaccesoRestringido.pdf.jpg12-dic-2016A Genetic Algorithm to Discover Flexible Motifs with SupportSerra, Joan; Matic, Aleksandar; Arcos, Josep Lluis; Karatzoglou, AlexandrosArtículo
openAccess19-oct-2016A Clause Tableau Calculus for MinSATLi, Chumin; Manya, Felip; Soler, Joan RamonArtículo
closedAccessaccesoRestringido.pdf.jpg19-may-2016A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued LogicsSoler, Joan Ramon; Manya, FelipArtículo
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 198
 Siguiente >