Mostrar sólo los elementos en los que
Export 2071 results:
Autor Título Tipo [ Año(Asc)]
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.
Cintula P, Horcík R, Noguera C.  2012.  A basic fuzzy logic which is really basic and fuzzy. Logic, Algebra and Truth Degrees 2012. :67-70.
Serrà J, Arcos JLluis.  2012.  A competitive measure to assess the similarity between two time series. 20th International Conference on Case-Based Reasoning (ICCBR-12). 7466:414-427.
Fernández JLuis, Arcos JLluis, Serugendo GDi Marzo.  2012.  A Decentralised Approach for Detecting Dynamically Changing Diffuse Event Sources in Noisy WSN Environments. Applied Artificial Intelligence. 26:376-397.
Ontañón S, Dellunde P, Godo L, Plaza E.  2012.  A Defeasible Reasoning Model of Inductive Concept Learning from Examples and Communication. Artificial Intelligence. 193:129-148.
Criado N, Argente E, Noriega P, Botti V.  2012.  A Distributed Architecture for Enforcing Norms in Open MAS. Advanced Agent Technology. 7068:457-471.
García-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW.  2012.  A Distributed Architecture for Norm-Aware Agent Societies: A retrospective. 9th International Workshop, DALT 2011. 7169:102-110.
Koster A, Sabater-Mir J., Schorlemmer M.  2012.  A Formal Argumentation Dialogue for Personalised Trust Communication. 15th International Workshop on Trust in Agent Societies (TRUST12).
Zhu Z, Li CMin, Manyà F, Argerlich J..  2012.  A New Encoding from MinSAT into MaxSAT. CP 2012. :455-463.
Gutierrez P, Meseguer P.  2012.  A Novel Way to Connect BnB-ADOPT+ with Soft AC. 20th European Conference on Artificial Intelligence (ECAI-12). :903-904.
Ansótegui C, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2012.  A scalable Message-Passing Algorithm for Supply Chain Formation. AAAI Conf. on Artificial Intelligence.
Trescak T, Esteva M, Rodriguez I.  2012.  A shape grammar interpreter for rectilinear forms. Computer-Aided Design. 44:657-670.
Nettleton DF, Marcos M-C, Sáez-Trumper D.  2012.  A User Study of Web Search Session Behaviour using Eye Tracking data. Human Computer Interaction (HCI) 2012. :262-267.
Fabregues A, Sierra C.  2012.  Abridgement of HANA: a Human-Aware Negotiation Architecture. European Workshop on Multi-agent Systems (EUMAS 2012).
Almajano P, López-Sánchez M, Rodriguez I.  2012.  An Assistance Infrastructure to Inform Agents for Decision Support in open MAS. ITMAS 2012: International Workshop on Infrastructures and Tools for Multiagent Systems. :93-106.
Marés J, Torra V.  2012.  An Evolutionary Optimization Approach for Categorical Data Protection. Privacy and Anonymity in the Information Society 2012.
El-Zekey M, Godo L.  2012.  An extension of Godel logic for reasoning under both vagueness and possibilistic uncertainty. Advances in Computational Intelligence, Proc. of IPMU 2012, Part II. 298:216-225.
Almajano P, Trescak T, Rodriguez I, López-Sánchez M.  2012.  An Infrastructure for Human Inclusion in MAS. ECAI 2012: 20th European Conference on Artificial Intelligence. :999-1000.
Atencia M, Schorlemmer M.  2012.  An Interaction-Based Approach to Semantic Alignment. Journal of Web Semantics. 12-13:131-147.
Vidal A, Bou F, Godo L.  2012.  An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012). 7520:633-640.
Ansótegui C, Bonet MLuisa, Levy J, Li CMin.  2012.  Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12. 248:173-184.
Arqué NMartínez, Nettleton DF.  2012.  Analysis of On-line Social Networks Represented as Graphs – Extraction of an Approximation of Community Structure Using Sampling. MDAI 2012. 7647:149-160.
Nettleton DF, Gonzalez-Caro C.  2012.  Analysis of User Behavior for Web Search Success Using Eye Tracker Data. Eighth Latin American Web Congress (LA-WEB 2012),. :57-63.
Grosche P, Müller M, Serrà J.  2012.  Audio content-based music retrieval. Multimodal music processing. 3:157-174.
Baydin AGünes, de Mántaras RLópez, Ontañón S.  2012.  Automated Generation of Cross-Domain Analogies via Evolutionary Computation. International Conference on Computational Creativity. :25-32.
de Jonge D, Sierra C.  2012.  Automated Negotiation for Package Delivery. Workshop on Technologies for the Organisation, Adaptation and Simulation of Transportation Systems (TOASTS@SASO). :83-88.
Van Balen J, Haro M, Serrà J.  2012.  Automatic identification of samples in hip hop music. Int. Symp. on Computer Music Modeling and Retrieval (CMMR). :544-551.
Pardo P, Sadrzadeh M.  2012.  Backward Planning in the Logics of Communication and Change. 1st International Conference on Agreement Technologies (AT 2012). :231-245.
de Jonge D, Sierra C.  2012.  Branch and Bound for Negotiations in Large Agreement Spaces. AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. 3:1415-1416.
Ansótegui C, Bofill M, Manyà F, Villaret M.  2012.  Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012.
Ozaslan THakan, Serra X, Arcos JLluis.  2012.  Characterization of Embellishments in Ney Performances of Makam Music in Turkey. 13th International society for Music Information Retrieval Conference (ISMIR 2012). :13-18.
Koduri GK, Serrà J, Serra X.  2012.  Characterizaztion of intonation in Carnatic music by parametrizing pitch histograms. Int. Soc. for Music Information Retrieval Conf. (ISMIR). :199-204.
Brito I, Osman N, Sabater-Mir J., Sierra C.  2012.  CHARMS: A Charter Management System. Automating the Integration of Electronic Institutions and Humans. Applied Artificial Intelligence. 26:306-330.
Abril D, Navarro-Arribas G, Torra V.  2012.  Choquet integral for record linkage. Annals of Operations Research. 195:97-110.
Marés J, Torra V.  2012.  Clustering-Based Categorical Data Protection. Privacy in Statistical Databases. 7556:78-89.
Flaminio T, Godo L, Kroupa T.  2012.  Combination and Soft-Normalization of Belief Functions on MV-Algebras. Modeling Decisions for Artificial Intelligence, MDAI 2012. 7647:23-34.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2012.  Communicating open systems. Artificial Intelligence. 186:38-64.
Ansótegui C, Giráldez-Cru J, Levy J.  2012.  The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12. 7317:410-423.
Koduri GK, Serrà J, Serra X.  2012.  Computational analysis of intonation in Indian art music. CompMusic Workshop.
Ribes A, Cerquides J, Demiris Y, de Mántaras RLópez.  2012.  Context-GMM: Incremental Learning of Sparse Priors for Gaussian Mixture Regression. 2012 IEEE International Conference on Robotics and Biomimetics (ROBIO 2012).
Pardo P, Pajares S, Onaindía E, Godo L, Dellunde P.  2012.  Cooperative Dialogues for Defeasible Argumentation-Based Planning. Argumentation in Multi-Agent Systems - 8th International Workshop, ArgMAS 2011, Taipei (Taiwan), Revised Selected Papers. 7543:174-193.
Cranefield S, van Riemsdijk B, Vázquez-Salceda J, Noriega P.  2012.  Coordination, Organizations, Instiutions, and Norms in Agent System VII. Lecture Notes in Computer Science. 7254:XIV,221.
Flaminio T, Hosni H.  2012.  De Finetti's bets on partially evaluated Kripke frames. Computability in Europe - Turing's Centenary.
Esteva F, Godo L.  2012.  De Morgan Triples Revisited. XVI Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2012). :144-149.
Criado N, Argente E, Botti V, Noriega P.  2012.  Determining the willingness to comply with norms (Extended Abstrat). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 3:1419-1420.