CSIC

You are here

Home

Bibliography

Export 2132 results:
Author Title Type [ Year(Asc)]
2013
Metze F, Anguera X, Ewert S, Gemmeke J, Kolossa D, Provost EMower, Schuller B, Serrà J.  2013.  Learning of units and knowledge representation. Dagstuhl Seminar 13451: Computational Audio Analysis.
Flaminio T, Godo L, Marchioni E.  2013.  Logics for belief functions on MV-algebras. International Journal of Approximate Reasoning. 54:491-512.
Godo L, Marchioni E.  2013.  Logics for Non-Cooperative Games with Expectations. Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013). 1113:82-96.
Coniglio M, Esteva F, Godo L.  2013.  Logics of formal inconsistency arising from systems of fuzzy logic.
Gutierrez P, Lee J, Lei KMan, Mak T, Meseguer P.  2013.  Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search. 19th International Conference on Principles and Practice of Constraint Programming (CP 2013). 8124
Criado N, Argente E, Noriega P, Botti V.  2013.  MaNEA: A distributed architecture for enforcing norms in open MAS. Engineering applications of artificial intelligence. 26:76-95.
Serrà J, Corral Á, Boguñá M, Haro M, Arcos JLluis.  2013.  Measuring quantitative trends in western popular music. CRM-Imperial College Workshop in Complex Systems.
Rodriguez ROscar, Godo L.  2013.  Modal uncertainty logics with fuzzy neighborhood semantics. IJCAI-13 Workshop on Weighted Logics for Artiticial Intelligence (WL4AI-2013). :79-86.
Fornara N, Cardoso HLopes, Noriega P, Oliveira E, Tampitsikas C, Schumacher MI.  2013.  Modelling Agent Institutions. Agreement Technologies. :277-307.
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.
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.