Export 2109 results:
Autor [ Títol(Asc)] Tipus Any
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Haro M, Serrà J, Herrera P, Corral Á.  2012.  Zipf's law in short-time timbral codings of speech, music, and environmental sound signals. PLoS ONE. 7:e33993.
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.
Schorlemmer M, Confalonieri R, Plaza E.  2016.  The Yoneda Path to the Buddhist Monk Blend. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016..
Vinyals M, Cerquides J, Farinelli A, Rodríguez-Aguilar JA.  2010.  Worst-case bounds on the quality of max-product fixed-points. :2325-2333.
Vaishak B, Godo L, Prade H, Renz J, Schockaert S, Schmid U, Wolter D.  2018.  Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning. IJCAI-ECAI-2018 Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge.
Finger M, Godo L, Prade H, Qi G.  2015.  Working Papers of the IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence.
Godo L, Prade H.  2012.  Working Papers. :109.
Aslam M, Martinez-Enriquez A.M., Decouchant D., Escalada-Imaz G.  2008.  Work Proximity on Interrelated Coauthoring Production. CollabTech 2008, The Fourth International Conference on Collaboration Technologies. :15-20.
Torra V, Narukawa Y.  2008.  Word similarity from dictionaries: Inferring fuzzy measures from fuzzy graphs. International Journal of Computational Intelligence Systems. 1:19-24.
Giovannucci A, Rodríguez-Aguilar JA, Cerquides J, Endriss U..  2007.  Winner Determination for Mixed Multi-unit Combinatorial Auctions via Petri Nets. Proceedings of Sixth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS’2007). :710-717.
Aldavert D, Ramisa A, Toledo R.  2006.  Wide Baseline Stereo Matching Using Voting Schemas. CVC Research and Development Workshop. 1:30-35.
da Silva FSoares Cor, Vasconcelos WW, Agustí-Cullell J, Robertson D, de Melo A.  1999.  Why Ontologies Are Not Enough for Knowledge Sharing. Multiple Approaches to Intelligent Systems. 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999. Proceedings. 1611:520-529.
Koster A.  2010.  Why does trust need aligning? 13th Workshop on Trust in Agents Societies at AAMAS 2010. :125-136.
Ribes A, Cerquides J, Demiris Y, de Mantaras RLopez.  2015.  Where is my keyboard? Model-based active adaptation of action-space in a humanoid robot Humanoid Robots (Humanoids), 2015 IEEE-RAS 15th International Conference on.
Debenham J, Sierra C.  2011.  When Trust Is Not Enough. EC-Web. 85:246-257.
Serrà J.  2013.  What can we learn from massive music archives? Dagstuhl Seminar 13451: Computational Audio Analysis.
Levy J, Niehren J, Villaret M.  2005.  Well-Nested Context Unification. Lecture Notes in Artificial Intelligence. 3632:149-163.
Dubois D, Godo L, Prade H.  2014.  Weighted logics for artificial intelligence – an introductory discussion. Internationa Journal of Approximate Reasoning. 55:1819-1829.
Davidson PPinacho, Blum C, Lozano JAntonio.  2018.  The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic Approaches. European Journal of Operational Research. 265(3):860-871.
Davidson PPinacho, Blum C, Lozano JAntonio.  2017.  The Weighted Independent Domination Problem: ILP Model and Algorithmic Approaches. EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization. 10197 (Lecture Notes in Computer Science):201--214.
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.
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.  2012.  WeCurate: Designing for synchronised browsing and social negotiation. The first International Conference on Agreement Technologies.
Noriega P, Ossowski S..  2005.  Web-i(2): Electronic Institutions: Extending the Core Notion. TIC2003-08763-C02. CEDI 2005. I Congreso español de informatica. 13-16 de septiembre. Granada. V Jornada de seguimiento de proyectos en tecnologias informáticas (TIN-MEC). :37-51.
Noriega P, Ossowski S..  2005.  Web-i(2): Electronic Institutions: Extending the Core Notion. Jornadas Seguimiento Proyectos en Tecnologías Informaticas. :37-51.
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.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2011.  Weaving a Fabric of Socially Aware Agents. The 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011). :263-274.
Chocron P, Schorlemmer M.  2017.  Vocabulary Alignment in Openly Specified Interactions. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. :1064–1072.
Chocron P, Schorlemmer M.  2017.  Vocabulary Alignment for Agents with Flexible Protocols. Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
Rudolf F, Godo L, Hoffmann A, Moraga C, Sierra C.  1989.  VLSI Chip Architecture selection using reasoning. 19th IEEE International Symposium on Multiple Valued Logic. :165-171.
Trescak T, Esteva M, Rodriguez I.  2011.  VIXEE an Innovative Communication Infrastructure for Virtual Institutions. AAMAS '11: Proceedings of the 10th international joint conference on Autonomous agents and multiagent systems.
Aldavert D, Ramisa A, Toledo R, de Mántaras RLópez.  2009.  Visual Registration Method for a Low Cost Robot. 7th International Conference on Computer Vision Systems. Lecture Notes in Computer Science. 5815:204-214.
Trescak T, Esteva M, Rodriguez I.  2010.  Virtual World Grammar. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). :1581-1582.
Bogdanovych A, Simoff S, Esteva M.  2008.  Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents.. 8-th International Conference on Intelligent Virtual Agents (IVA 2008). 5208:456-464.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2011.  Virtual Institutions For Water Rights Negotiation.
Bogdanovych A, Rodríguez-Aguilar JA, Simoff S, Cohen A..  2009.  Virtual agents and ·3D virtual worlds for preserving and simulating cultures. IVA '09: 9th International Conference on Intelligent Virtual Agents. 5773:257-271.
Vasconcelos WW, Esteva M, Sierra C, Rodríguez-Aguilar JA.  2004.  Verifying norm consistency in electronic institutions. AOTP: The AAAI-04 Workshop on Agent Organizations: Theory and Practice July 25, 2004 San Jose McEnery Convention Center San Jose, California. :8-14.
Sierra C, Agustí-Cullell J, Plaza E.  1991.  Verification by construction in MILORD. Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems.
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.
Di Nola A, Esteva F, Godo L, Montagna F.  2005.  Varieties of BL-algebras. Soft Computing - A Fusion of Foundations, Methodologies and Applications. 9:875-888.
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.
Codara P, Valota D.  2015.  Valuations in Nilpotent Minimum Logic. 2015 IEEE International Symposium on Multiple-Valued Logic.
Henández C, Sancho J, Belmonte MAngel, Patak A, Sanz F, Sierra C.  1994.  Validation of the medical Expert Sytem RENOIR. Moving Towards expert systems globally in the 21st century. :510-518.
Henández C, Sancho J, Belmonte MAngel, Sierra C, Sanz F.  1994.  Validation of the medical Expert Sytem RENOIR. Computers and Biomedical Research. 27:456-471.
Verdaguer A, Patak A, Sancho J, Sierra C, Sanz F.  1992.  Validation of the medical Expert Sytem PNEUMON-IA. Computers and Biomedical Research. 25:511-526.
Meseguer P, Plaza E.  1992.  Validation of KBS: The VALID Project. Enhancing the Knowledge Engineering Process. :55-78.
Verdaguer A, Patak A, Sanz F, Sierra C, de Mántaras RLópez.  1989.  Validation du système expert PNEUMON-IA MILORD. Journeés d'Informàtique Medicale de Tolouse. :358-367.
Casali A, Godo L, Sierra C.  2008.  Validation and Experimentation of a Tourism Recommender Agent based on a Graded BDI Model. 11é Congrès Internacional de l'ACIA. 184:41-50.
Domingo M, Baranera MMartín, Sanz F, Sierra C, Uriz MJesus.  1999.  Validating SPONGIA an expert system for sponge identification. Expert Systems with Applications. 16:379-384.