v-mWater: a 3D Virtual Market for Water Rights.
AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
Validation of the medical Expert Sytem RENOIR.
Moving Towards expert systems globally in the 21st century. :510-518.
Valuations in Nilpotent Minimum Logic.
2015 IEEE International Symposium on Multiple-Valued Logic.
Value alignment: A formal approach.
Responsible Artificial Intelligence Agents Workshop (RAIA) in AAMAS 2019.
A Variant of Higher-Order Anti-Unification.
Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
Vector space model anonymization.
CCIA 2013 - Sixteenth International Conference of the Catalan Association of Artificial Intelligence. 256:141-150.
Verification by construction in MILORD.
Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems.
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.
Virtual World Grammar.
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). :1581-1582.
Visual Registration Method for a Low Cost Robot.
7th International Conference on Computer Vision Systems. Lecture Notes in Computer Science. 5815:204-214.
VIXEE an Innovative Communication Infrastructure for Virtual Institutions.
AAMAS '11: Proceedings of the 10th international joint conference on Autonomous agents and multiagent systems.
VLSI Chip Architecture selection using reasoning.
19th IEEE International Symposium on Multiple Valued Logic. :165-171.
Vocabulary Alignment for Agents with Flexible Protocols.
Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
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.