Export 2127 results:
[ Autor(Desc)] Títol 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 
V
Vasconcelos WW, Robertson D, Agustí-Cullell J, Sierra C, Sabater-Mir J., Parsons S, Walton C, Wooldridge M.  2002.  A lifecicle for models of large multi-agent systems. Lecture Notes in Computer Science. 2222:307-325.
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.
Vasconcelos WW, Sabater-Mir J., Sierra C, Querol J.  2002.  Skeleton-based Agent Development for Electronic Institutions. Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002, july 15-19, Bologna, Italy. 2:696-703.
Vasconcelos WW, García-Camino A, Gaertner D, Rodríguez-Aguilar JA, Noriega P.  2012.  Distributed norm management for multi-agent systems. Expert Systems with Applications. 39:5990-5999.
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.
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.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
Verhagen H, Noriega P, d'Inverno M.  2013.  Towards a Design Framework for Controlled Hybrid Social Games. Social.PATH. :83-87.
Vetterlein T, Esteva F, Godo L.  2016.  Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning. 71:50-63.
Vidal A, Esteva F, Godo L.  2015.  On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015).
Vidal A, Esteva F, Godo L.  2014.  About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014). :423-428.
Vidal A, Godo L, Esteva F.  2015.  On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015. :828-835.
Vidal A, Esteva F, Godo L.  2014.  A product modal logic. 35th Linz Seminar on Fuzzy Set Theory. :127-130.
Vidal A, Godo L, Esteva F, Bou F.  2015.  ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015.
Vidal A, Bou F.  2013.  Image-finite first-order structures. ManyVal 2013, Abstracts Volume. :52-53.
Vidal A, Bou F, Godo L.  2012.  An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012). 7520:633-640.
Vidal A, Esteva F, Godo L.  2014.  Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014). :275-279.
Vidal A, Bou F, Godo L.  2013.  NiBLoS: a general SMT-based solver for logics of BL-chains.
Vidal A.  2014.  Progress report on a modal extension of the solver NiBLos.
Vila L.  2005.  Formal Theories of time and temporal incidence.. Handbook of Temporal Reasoning in Artificial Intelligence. :1-24.
Vila L.  2005.  Time in automatic legal reasoning. Handbook of Temporal Reasoning in Artificial Intelligence. :537-556.
Vila L, Sierra C.  1992.  Intelligent Process Control by means of Expert Systems. 2:273-284.
Vila L, Sierra C, Benito-Martinez A, Climent J.  1992.  Intelligent Process Control by means of Expert Systems and Machine Vision. L. :185-194.
Vila L.  2005.  Formal Theories of time and temporal incidence.. Reasoning in Artificial Intelligence. :1-24.
Vilamala A, Plaza E, Arcos JLluis.  2010.  Learning from Sensors and Past Experience in an Autonomous Oceanographic Probe. Twenty-Second Conference on Innovative Applications of Artificial Intelligence Conference (IAAI-10). :1859-1864.
Villaret M.  2005.  On some variants of second-order unification. Monografies del IA. 22
Villatoro D., Andrighetto G., Brandts J., Nardin L.G., Sabater-Mir J., Conte R..  2014.  The Norm-Signaling Effects of Group Punishment Combining Agent-Based Simulation and Laboratory Experiments. Social Science Computer Review. 3:334-353.
Villatoro D, Sabater-Mir J..  2009.  Dynamics in the Normative Group Recognition Process.. Proceedings of IEEE Congress on Evolutionary Computation (IEEE CEC 2009). :757-764.
Villatoro D, Sabater-Mir J..  2008.  Towards Social Norm.. Eleventh International Congress of the Catalan Artificial Intelligence Association (CCIA08)..
Villatoro D., Andrighetto G., Brandts J., Sabater-Mir J., Conte R..  2012.  Distributed Punishment as a Norm-Signalling Tool. Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). :1189–1190.
Villatoro D, Sen S, Sabater-Mir J..  2011.  Social Instruments for Convention Emergence. 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 3:1161-1162.
Villatoro D, Sabater-Mir J..  2009.  Group Recognition through Social Norms.. 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). :1347-1348.
Villatoro D., Andrighetto G., Conte R., Sabater-Mir J..  2015.  Self-Policing Through Norm Internalization: A Cognitive Solution to the Tragedy of the Digital Commons in Social Networks. JASSS - Journal of Artificial Societies and Social Simulation. 2
Villatoro D, Sabater-Mir J..  2008.  Mechanisms for Social Norms Support in Virtual Societies.. Conference of the European Social Simulation Association (ESSA08).
Villatoro D, Sabater-Mir J..  2008.  Categorizing Social Norms in a Simulated Resource Gathering Society.
Villatoro D, Sabater-Mir J., Sen S.  2011.  Social Instruments for Robust Convention Emergence. Twenty-Second International Joint Conference on Artificial Intelligence. :420-425.
Villatoro D, Sen S, Sabater-Mir J..  2009.  Topology and memory effect on convention emergence.. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009).
Villatoro D., Sabater-Mir J., Sen S..  2013.  Robust Convention Emergence in Social Networks through Self-Reinforcing Structures Dissolution. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 8:2:1–2:21.
Villatoro D, Sabater-Mir J., Sen S.  2009.  Interaction, observance or both? Effects on convention emergence Dotzè Congrés Internacional de l’Associació Catalana d'Intel·ligència Artificial (CCIA 2009). 202:189-196.
Villatoro D, Andrighetto G, Conte R, Sabater-Mir J..  2011.  Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance. Twenty-Second International Joint Conference on Arti?cial Intelligence. :414-419.
Villatoro D, Malone N, Sen S.  2009.  Effects of interaction history and network topology on rate of convention emergence.. 3rd International Workshop on Emergent Intelligence on Networked Agents (WEIN’09). :13-19.
Villatoro D, Sen S, Sabater-Mir J..  2010.  Of Social Norms and Sanctioning: A Game Theoretical Overview. International Journal of Agent Technologies and Systems (IJATS). 2:15.
Villatoro D, Sabater-Mir J..  2008.  Towards the Group Formation through Social Norms.. Sixth European Workshop on Multi-Agent Systems (EUMAS08).
Villatoro D., Andrighetto G., Brandts J., Sabater-Mir J., Conte R..  2012.  Learning with more than rewards: The Implicit Signalling of Distributed Punishment. Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012).. :2579–2586.
Villatoro D, Sabater-Mir J..  2007.  Norm Selection Through Simulation in a Resource-Gathering Society. 21st European Simulation and Modelling Conference (ESM-07). :467–474.
Vinyals M, Pujol M, Rodríguez-Aguilar JA, Cerquides J.  2010.  Divide and Coordinate: solving DCOPs by agreement. Proc. of the 9th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'10). :149-156.
Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2007.  On the empirical evaluation of Mixed Multi-Unit Combinatorial Auctions.
Vinyals M, Shieh E, Cerquides J, Rodríguez-Aguilar JA, Yin Z, Tambe M, Bowring E.  2011.  Reward-based region optimal quality guarantees. Fourth International Workshop on Optimisation in Multi-Agent Systems at AAMAS 2011.
Vinyals M, Rodríguez-Aguilar JA, Cerquides J.  2010.  Divide-and-Coordinate by Egalitarian Utilities: turning DCOPs into egalitarian worlds. 3rd International Workshop on Optimization in Multi-Agent Systems @AAMAS (OPTMAS 2010).
Vinyals M, Giovannucci A, Cerquides J, Meseguer P, Rodríguez-Aguilar JA.  2008.  A test suite for the evaluation of mixed multi-unit combinatorial auctions. Journal of Algorithms. 63:130-150.