Export 77 results:
[ Autor(Asc)] Título Tipo Año
Filtros: 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 
V
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).
Vetterlein T, Esteva F, Godo L.  2016.  Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning. 71:50-63.
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.
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.
Vasconcelos WW, Walton C, Sierra C, Esteva M.  2002.  An Approach to Rapid Prototyping of Large Multi-Agent Systems. 17th IEEE Automated Software Engineering.
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.
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.
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.
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.
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.
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.