Se encontraron 1731 resultados
"Folksonomy-based tag recommendation for collaborative tagging systems", Journal Article, Submitted.
"Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view", Probability, Logic and Statistics, Barcelona, Universitat de Barcelona, pp. 204, Submitted.
"The quest for the basic fuzzy logic", Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
"Unsupervised music structure annotation by time series structure features and segment similarity", Journal Article, Submitted.
"Non-associative substructural logics: alternative axiomatization, algebraic and logical properties", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
"Semilinear non-associative substructural logics: completeness properties and complexity", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
"A language for the execution of graded BDI agents", Logic Journal of the IGPL - Advance Access published November 21, 2011: Oxford University Press , En prensa.
"Efficient Operations in Feature Terms using Constraint Programming", ILP 2011: Inductive Logic Programming, En prensa.
"HANA: a Human-Aware Negotiation Architecture", Decision Support Systems, En prensa.
"Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Review of Symbolic Logic, En prensa.
"Note onset deviations as musical piece signatures", PLoS ONE: PLoS, En prensa.
"On the Integration of Trust with Negotiation, Argumentation and Semantics", Knowledge engineering review: Cambridge, En prensa.
"The proof by cases property and its variants in structural consequence relations", Studia Logica, En prensa.
"Trust and Matching Algorithms for Selecting Suitable Agents", ACM Transactions on Intelligent Systems and Technology, En prensa.
"t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework", Annals of Mathematics and Artificial Intelligence: Springer, En prensa.
"Towards next generation coordination infrastructures", Knowledge engineering review: Cambridge, En prensa.
"Cognitive prognosis of acquired brain injury patients using machine learning techniques", Int. Conf. on Advanced Cognitive Technologies and Applications (COGNITIVE), Valencia, Spain, IARIA, pp. 108-113, 27/05/2013.
"Towards a betting interpretation for belief functions on MV-algebras", Non-Classical Measures and Integrals: Abstracts of the 34th Linz Seminar on Fuzzy Set Theory (Linz 2013), R. Mesiar, E. Pap and E.P. Klement (eds.) , Linz, Austria, pp. 51-53, 26/02/2013.
"Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability", 8th International Conference on Computer Graphics Theory and Applications, Barcelona, Spain, pp. 288-297, 21/02/2013.
"Towards a private vector space model for confidential documents", Symposium On Applied Computing. Proceedings of the 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, ACM, pp. 944--945, 18/03/2013.
"E2 Participation: Electronically Empowering Citizens for Social Innovation through Agreement Technologies", 14th Annual International Conference on Digital Government Research, Québec, Canada, 17/06/2013.
"Measuring quantitative trends in western popular music", CRM-Imperial College Workshop in Complex Systems, Bellaterra (Barcelona), Spain, 08/04/2013.
"Zero-probability and coherent betting: A logical point of view", ECSQARU 2013 (accepted), Utrecht, The Netherlands, 07/07/2013.
"Automated Synthesis of Normative Systems", AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems, 06/05/2013.
"IRON: A Machine for the Automated Synthesis of Normative Systems (Demonstration)", AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems, 06/05/2013.