Export 27 results:
[ Autor(Desc)] Títol Tipus Any
Filtres: First Letter Of Title is V  [Clear All Filters]
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 
A
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.
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.
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.
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.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2011.  Virtual Institutions For Water Rights Negotiation.
B
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.
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.
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.
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
C
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.
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
Codara P, Valota D.  2015.  Valuations in Nilpotent Minimum Logic. 2015 IEEE International Symposium on Multiple-Valued Logic.
D
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.
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.
Domingo-Ferrer J, Torra V.  2002.  Validating distance-based record linkage with probabilistic record linkage. Lecture Notes on Artificial Intelligence. 2504:207-215.
H
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.
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.
M
Meseguer P, Plaza E.  1992.  Validation of KBS: The VALID Project. Enhancing the Knowledge Engineering Process. :55-78.
R
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.
S
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.
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.
T
Trescak T, Esteva M, Rodriguez I.  2010.  Virtual World Grammar. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). :1581-1582.
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.
V
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.
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.
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.