English   español  

(IIIA) Comunicaciones congresos : [207]  

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 207
 Siguiente >
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
openAccess18-may-2015Finding Hard Instances of Satisfiability in Lukasiewicz LogicsBofill, Miquel; Manya, Felip; Vidal, Amanda; Villaret, MateuComunicación de congreso
openAccess17-dic-2015Automating Personalized Learning through MotivationGutierrez, Patricia; Osman, Nardine; Sierra, CarlesArtículo
openAccess25-jul-2015An Exact Inference Scheme for MinSATLi, Chu Min; Manya, FelipComunicación de congreso
openAccess25-jul-2015A Modularity-Based Random SAT Instances GeneratorGiraldez-Cru, Jesus; Levy, JordiComunicación de congreso
openAccess15-dic-2016The Argumentative MediatorSierra, Carles; Lopez de Mantaras, Ramon; Simoff, SimeonArtículo
openAccessICCBR 2016_LNCS9969_170-85.pdf.jpg31-oct-2016Qualitative Case-based Reasoning for Humanoid Robot Soccer: a new retrieval and reuse algorithmHomem, Thiago P. D.; Perico, Danilo H.; Santos, Paulo H.; Bianchi, Reinaldo A.; Lopez de Mantaras, RamonArtículo
closedAccessaccesoRestringido.pdf.jpg20-jun-2016Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy LogicBou, Felix; Esteva, Francesc; Godo, Lluís; Rodriguez, Ricardo O.Artículo
openAccessMDAI2016_LNAI9880_3-14.pdf.jpg2016Aggregation Operators to Support Collective ReasoningRodríguez-Aguilar, Juan Antonio; Serramia, Marc; López Sánchez, MaiteCapítulo de libro
closedAccessaccesoRestringido.pdf.jpg9-jul-2016A Clause Tableau Calculus for MaxSATLi, Chu Min; Manya, Felip; Soler, Joan RamonComunicación de congreso
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
Ítems en la colección (ordenados por Fecha de envío en orden Descendente): 1 a 20 de 207
 Siguiente >