Export 27 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Title is V  [Clear All Filters]
Sierra C, Osman N, Noriega P, Sabater-Mir J, Perello-Moragues A.  2019.  Value alignment: A formal approach. Responsible Artificial Intelligence Agents Workshop (RAIA) in AAMAS 2019.
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
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.
Codara P, Valota D.  2015.  Valuations in Nilpotent Minimum Logic. 2015 IEEE International Symposium on Multiple-Valued Logic.
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.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2012.  v-mWater: a 3D Virtual Market for Water Rights. AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
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, 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.
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.
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.
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.
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.
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
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.
Meseguer P, Plaza E.  1992.  Validation of KBS: The VALID Project. Enhancing the Knowledge Engineering Process. :55-78.
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.
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.
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.
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.