Export 77 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name 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 
Vaishak B, Godo L, Prade H, Renz J, Schockaert S, Schmid U, Wolter D.  2018.  Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning. IJCAI-ECAI-2018 Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge.
Valckenaers P, John S, Sierra C, Rodríguez-Aguilar JA.  2007.  Applications and Environments for Multi-agent Systems. Autonomous Agents and Multi-agent Systems. 14:61–85.
Valls A.  2003.  Clus DM: A multiple criteria decision method for heterogeneous data sets. Monografias del IIIA. 17
Valls A, Torra V, Domingo-Ferrer J.  2002.  Aggregation methods to evaluate multiple protected versions of the same confidential data set. Advances in Soft Computing. :355-362.
Valls A, Torra V.  2003.  Describing Preferences with a Negation-based Vocabulary. Frontiers in Artificial Intelligence and Applications. 100:51-61.
Valls A, Gomez-Alonso C, Torra V.  2009.  Generation of Prototypes for Masking Sequences of Events. Proc. ARES 2009, PSAI Workshop. :947-952.
Valls A, Torra V.  2002.  Fusion of qualitative preferences with different vocabularies. Lecture Notes in Artificial Intelligence. 2504:113-124.
Valls A, Torra V, Domingo-Ferrer J.  2003.  Semantic-Based Aggregation for Statistical Disclosure Control. International Journal of Intelligent Systems. 18:939-951.
Valls A, Nin J, Torra V.  2009.  On the use of aggregation operators for location privacy. European Society on Fuzzy Logic and Technologies (EUSFLAT). :489-494.
Van Balen J, Serrà J, Haro M.  2013.  Sample identification in hip-hop music. From Sounds to Music and Emotions. 7900:301-312.
Van Balen J, Haro M, Serrà J.  2012.  Automatic identification of samples in hip hop music. Int. Symp. on Computer Music Modeling and Retrieval (CMMR). :544-551.
Vasconcelos WW, Robertson D, Sierra C, Esteva M, Sabater-Mir J., Wooldridge M.  2004.  Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming. Annals of Mathematics and Artificial Intelligence. 41:135-169.
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, 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, 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.
Vasconcelos WW, Walton C, Sierra C, Esteva M.  2002.  An Approach to Rapid Prototyping of Large Multi-Agent Systems. 17th IEEE Automated Software Engineering.
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.
Verhagen H, Noriega P, d'Inverno M.  2013.  Towards a Design Framework for Controlled Hybrid Social Games. Social.PATH. :83-87.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
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, 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.  A product modal logic. 35th Linz Seminar on Fuzzy Set Theory. :127-130.
Vidal A, Bou F, Godo L.  2013.  NiBLoS: a general SMT-based solver for logics of BL-chains.
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.  2014.  Progress report on a modal extension of the solver NiBLos.
Vidal A, Bou F.  2013.  Image-finite first-order structures. ManyVal 2013, Abstracts Volume. :52-53.
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, 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, Godo L, Esteva F, Bou F.  2015.  ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015.
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.
Vila L, Sierra C.  1992.  Intelligent Process Control by means of Expert Systems. 2:273-284.
Vila L.  2005.  Formal Theories of time and temporal incidence.. Handbook of Temporal Reasoning in Artificial Intelligence. :1-24.
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.  Time in automatic legal reasoning. Handbook of Temporal Reasoning in Artificial Intelligence. :537-556.
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, Sabater-Mir J..  2008.  Towards the Group Formation through Social Norms.. Sixth European Workshop on Multi-Agent Systems (EUMAS08).
Villatoro D, Sabater-Mir J..  2008.  Categorizing Social Norms in a Simulated Resource Gathering Society.
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, 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., 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..  2008.  Towards Social Norm.. Eleventh International Congress of the Catalan Artificial Intelligence Association (CCIA08)..
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., 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., 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, 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.