Buscar
Mostrar sólo los elementos en los que
Export 2066 results:
Autor Título Tipo [ Año(Asc)]
2013
Serrà J, Ozaslan THakan, Arcos JLluis.  2013.  Note onset deviations as musical piece signatures. PLoS ONE. 8:e69268.
Pujol-Gonzalez M, Cerquides J, Escalada-Imaz G, Meseguer P, Rodríguez-Aguilar JA.  2013.  On Binary Max-Sum and Tractable HOPs. 11th European Workshop on Multi-agent Systems (EUMAS 2013). 1113
Dellunde P, Esteva F.  2013.  On elementary equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic. 52:1-17.
Coniglio M, Esteva F, Godo L.  2013.  On logics of formal inconsistency and fuzzy logics. ManyVal 2013, Abstracts Volume. :20-22.
Cerami M, Straccia U..  2013.  On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. Information Sciences. 227:1-23.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:71-77.
Marés J, Torra V.  2013.  On the Protection of Social Network-Extracted Categorical Microdata. Citizen in Sensor Networks. LNCS 7685:33-42.
Koster A, Schorlemmer M, Sabater-Mir J..  2013.  Opening the black box of trust: reasoning about trust models in a BDI agent. Journal of Logic and Computation. 23:25-58.
Cruz F, Cerquides J, Espinosa A, Moure JCarlos, Rodríguez-Aguilar JA.  2013.  Optimizing Performance for Coalition Structure Generation Problems' IDP Algorithm. The 2013 International Conference on Parallel and Distributed Processing Techniques and Applications.
Godo L, Prade H, Qi G.  2013.  Proccedings.
Cala A, Schorlemmer M, Noriega P.  2013.  PROTOTIPO DE UN MODULO DE BUSQUEDA SEMANTICA PARA LA PLATAFORMA GreenIDI. TR-­IIIA-­2013-­01.
Montero R, de la Cruz D, Noriega P.  2013.  Prototipo de una Plataforma de Negociación on-line para el Mercado de Residuos. TR-­IIIA-­2013-­02.
Sánchez-Ruiz-Granados AA, Ontañón S, González-Calero PA.  2013.  Refinement-Based Similarity Measure over DL Conjunctive Queries. ICCBR 2013, International Conference on Case Based reasoning. 7969:270-284.
Noriega P, Chopra AK, Fornara N, Cardoso HLopes, Singh MP.  2013.  Regulated MAS: Social Perspective. Normative Multi-Agent Systems. :93–133.
Blondeel M, Flaminio T, Godo L, de Cock M.  2013.  Relating fuzzy autoepistemic logic to fuzzy modal logics of belief. IJCAI-13 Workshop on Weighted Logics for Artificial Intelligence (WL4AI-2013). :18-25.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Villatoro D., Sabater-Mir J., Sen S..  2013.  Robust Convention Emergence in Social Networks through Self-Reinforcing Structures Dissolution. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 8:2:1–2:21.
Campos J, López-Sánchez M, Salamó M, Avila P, Rodríguez-Aguilar JA.  2013.  Robust regulation adaptation in multi-agent systems. ACM Transactions on Autonomous and Adaptive Systems. 8:1-27.
Van Balen J, Serrà J, Haro M.  2013.  Sample identification in hip-hop music. From Sounds to Music and Emotions. 7900:301-312.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
Cintula P, Haniková Z, Horcík R, Noguera C.  2013.  Semilinear non-associative substructural logics: completeness properties and complexity. 15th Latin American Symposium on Mathematical Logic. 19:418.
Ghobani A, Aldewereld H, Dignum V, Noriega P.  2013.  Shared Strategies in Artificial Agent Societies. Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. :71-86.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2013.  Social Value Propagation for Supply Chain Formation. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
Svensson K, Ramchurn SD, Cruz F, Rodríguez-Aguilar JA, Cerquides J.  2013.  Solving the Coalition Structure Generation Problem on a GPU. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
Uhle C, Driedger J, Edler B, Ewert S, Graf F, Kubin G, Müller M, Ono N, Pardo B, Serrà J.  2013.  Source separation. Dagstuhl Seminar 13451: Computational Audio Analysis.
Pardo P, Sadrzadeh M.  2013.  Strong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Declarative Agent Languages and Technologies X. 7784:37-56.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M, Puig A.  2013.  Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability. 8th International Conference on Computer Graphics Theory and Applications. :288-297.
Pardo P, Godo L.  2013.  t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Mathematics and Artificial Intelligence. 69:3-35.
Cintula P, Noguera C.  2013.  The proof by cases property and its variants in structural consequence relations. Studia Logica. 101:713-747.
Argente E, Boissier O, Carrascosa C, Fornara N, Mcburney P, Noriega P, Ricci A, Sabater-Mir J., Schumacher MIgnaz, Tampitsikas C et al..  2013.  The role of the environment in agreement technologies. Artificial Intelligence Review. 39:21-38.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R.  2013.  The Uses of Norms. Normative Multi-Agent Systems. :191-229.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R, Cranefield S, Dignum F, Eynard D, Farcas E, Fornara N et al..  2013.  The uses of norms. Normative Multi-Agent Systems. :191–229.
Salamon J, Serrà J, Gómez E.  2013.  Tonal representations for music retrieval: from version identification to query-by-humming. Int. Journal of Multimedia Information Retrieval. 2:45-58.
Flaminio T, Godo L.  2013.  Towards a betting interpretation for belief functions on MV-algebras. Non-Classical Measures and Integrals: Abstracts of the 34th Linz Seminar on Fuzzy Set Theory (Linz 2013). :51-53.
Verhagen H, Noriega P, d'Inverno M.  2013.  Towards a Design Framework for Controlled Hybrid Social Games. Social.PATH. :83-87.
Abril D, Navarro-Arribas G, Torra V.  2013.  Towards a private vector space model for confidential documents. Symposium On Applied Computing. :944–945.
Grosche P, Müller M, Serrà J.  2013.  Towards cover group thumbnailing. ACM Int. Conf. on Multimedia (ACM-MM). :613-616.
Pitt J, Bourazeri A, Nowak A, Roszczynska M, Rychwalska A, Rodriguez I, López-Sánchez M, Florea M, Sanduleac M.  2013.  Transforming Big Data Into Collective Awareness For Transformative Impact On Society. Computer. 46:40-45.
Sabater-Mir J., Vercouter L..  2013.  Trust and Reputation in Multiagent Systems. Multiagent Systems, second edition. :381–420.
Koster A, Madrenas J, Osman N, Schorlemmer M, Sabater-Mir J., Sierra C, Fabregues A, de Jonge D, Puyol-Gruart J, García P.  2013.  u-Help: supporting helpful communities with information technology. AAMAS 2013.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2013.  v-mWater: An e-Government Application for Water Rights Agreements. Agreement Technologies (Law, Governance and Technology Series). 8:583-596.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2013.  A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
Abril D, Navarro-Arribas G, Torra V.  2013.  Vector space model anonymization. CCIA 2013 - Sixteenth International Conference of the Catalan Association of Artificial Intelligence. 256:141-150.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  Web Based System for Weighted Defeasible Argumentation. 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV. 8143:155-171.
Hazelden K, Yee-King M, Confalonieri R, de Jonge D, Sierra C, d'Inverno M.  2013.  WeCurate: Enriching the Sociocultural Practices of the Museum Experience. Electronic visualisation technologies and the Arts.
Hazelden K, Yee-King M, Amgoud L, d'Inverno M, Sierra C, Osman N, Confalonieri R, de Jonge D.  2013.  WeCurate: Multiuser Museum Interactives for Shared Cultural Experiences. ACM SIGCHI Conference on Human Factors in Computing Systems 2013.
Serrà J.  2013.  What can we learn from massive music archives? Dagstuhl Seminar 13451: Computational Audio Analysis.
Flaminio T, Godo L, Hosni H.  2013.  Zero-probability and coherent betting: A logical point of view. 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013. 7958:206-217.