Mostrar sólo los elementos en los que
Export 2074 results:
Autor Título Tipo [ Año(Asc)]
Yee-King M, Confalonieri R, de Jonge D, Hazelden K, Sierra C, d'Inverno M, Amgoud L, Osman N.  2013.  Multiuser Museum Interactives for Shared Cultural Experiences: an Agent Based Approach. AAMAS 2013. :917-924.
Garrido A, Giret A, Botti V, Noriega P.  2013.  mWater, a Case Study for Modeling Virtual Markets. Agreement Technologies. :565-582.
de Jonge D.  2013.  Negotiation Algorithms for Large Agreement Spaces (extended abstract of PhD thesis). Doctoral Consortium, 23rd International Joint Conference on Artificial Intelligence.
de Jonge D.  2013.  Negotiation Algorithms for Large Agreement Spaces (extended abstract). 23rd International Joint Conference on Artificial Intelligence. :3209-3210.
Vidal A, Bou F, Godo L.  2013.  NiBLoS: a general SMT-based solver for logics of BL-chains.
Cintula P, Horcík R, Noguera C.  2013.  Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Review of Symbolic Logic. 6:394-423.
Cintula P, Haniková Z, Horcík R, Noguera C.  2013.  Non-associative substructural logics: alternative axiomatization, algebraic and logical properties. 15th Latin American Symposium on Mathematical Logic. 19:409-410.
Andrighetto G, Governatore G, Noriega P, van der Torre L.  2013.  Normative Multi-Agent Systems. Dagstuhl Follow-Ups. 4
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.
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.