Export 27 results:
[ Author(Desc)] Title Type Year
Filters: 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.  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.
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.
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, 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.
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.
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 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.
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, 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.
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.
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.