Export 2134 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 
B
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Towards self-configuration in autonomic electronic institutions. Lecture Notes in Computer Science. 4386:229-244.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Bou F, Esteva F, Godo L, Rodriguez ROscar.  2011.  On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation. 21:739-790.
Bou F, Esteva F, Font JMaria, Gil A, Godo L, Torrens A, Verdú V.  2009.  Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (doi:10.1093/logcom/exp030). 19:1031-1069.
Bou F, Plaza E, Schorlemmer M.  2018.  Amalgams, colimits, and conceptual blending. Concept Invention: Foundations, Implementation, Social Aspects and Applications.
Bou F, Esteva F, Godo L.  2007.  Modal systems based on many-valued logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007. I:177-182.
Bou F.  2002.  Hilbert-style calculi for BPL and FPL. 1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002.. :20–30.
Bou F, Schorlemmer M, Corneli J, Gómez-Ramírez Dde Jesús, Maclean E, Smaill A, Pease A.  2015.  The Role of Blending in Mathematical Invention. Sixth International Conference on Computational Creativity (ICCC 2015). :55-62.
Bou F, Esteva F, Godo L.  2012.  On possibilistic modal logics over Gödel logic. Logic, Algebra and Truth Degrees 2012 (LATD 2012). :49-54.
Bou F.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
Bou F, Paoli F, Ledda A, Freytes H.  2008.  On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing. 12:341-352.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2006.  Adaptation of autonomic electronic institutions through norms and institutional agents. Lecture Notes in Computer Science. :Inpress.
Bou F, García-Cerdaña A, Verdú V.  2006.  On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic. 45:615–647.
Bou E, Plaza E, Rodríguez-Aguilar JA.  2006.  Learning coaching advice to improve playing skills in robocup. AAMAS 2006 Workshop on Adaptation and Learning in Autonomous Agents and Multiagent Systems.
Bou F, Cerami M, Esteva F.  2011.  Finite-valued Lukasiewicz modal logic is PSPACE-complete. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011). :774-779.
Bou F, Esteva F, Godo L.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
Bou F.  2003.  Quasi-bisimulation: a new paradigm for the strict implication language. Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7–13, 2003). :82–83.
Bou F, Esteva F, Godo L, Rodriguez ROscar.  2009.  Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations. IFSA - EUSFLAT 2009. :1541-1546.
Bouamama S, Blum C, Fages J-G.  2019.  An Algorithm Based on Ant Colony Optimization for the Minimum Connected Dominating Set Problem. Applied Soft Computing. 80:672-686.
Bouamama S, Blum C.  2017.  On Solving Large-Scale Instances of the Knapsack Problem with Setup by means of an Iterated Greedy Algorithm. ICSC 2017 -- 6th International Conference on Systems and Control.
Bouchon-Meunier B, Esteva F, Godo L, Rifqi M, Sandri S.  2005.  A principled approach to fuzzy rule-based interpolation using similarity relations. EUSFLAT-LFA 2005. Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain. :757-763.
Bourazeri A, Pitt J, Almajano P, Rodriguez I, López-Sánchez M.  2012.  Meet the Meter: Visualising SmartGrids using Self-Organising Electronic Institutions and Serious Games. 2nd AWARE workshop on Challenges for Achieving Self-Awareness in Autonomic Systems.
Bourazeri A, Almajano P, Rodriguez I, López-Sánchez M.  2014.  Assistive Awareness in Smart Grids. The Computer After Me.
Bova S, Flaminio T.  2009.  On the complexity of de Finetti coherence of Lukasiewicz events. Logical Models of Reasoning with Vague Information.
Bova S, Flaminio T.  2010.  The coherence of Lukasiewicz assessments is NP-complete. International Journal of Approximate reasoning. 51:294–304.
Bras-Amorós M, Domingo-Ferrer J, Torra V.  2010.  A Bibliometric Index Based on Collaboration Distances. MDAI 2010. 6408:5-6.
Bras-Amorós M, Domingo-Ferrer J, Torra V.  2011.  A bibliometric index based on the collaboration distance between cited and citing authors. Journal of Informetrics. 5:248-264.
Bridge D, Lamontagne L, Plaza E.  2015.  Report on the Twenty-Second International Conference on Case-Based Reasoning. AI Magazine. 36:88-89.
Brito I, Osman N, Sabater-Mir J., Sierra C.  2010.  CHARMS: A Charter Management System. Automating the Integration of Electronic Institutions and Humans. 8th European Workshop on Multi-Agent Systems (EUMAS'10).
Brito I.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
Brito I, Meseguer P.  2010.  Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundamenta Informaticae. 102:263-286.
Brito I, Pinyol I, Villatoro D, Sabater-Mir J..  2009.  HIHEREI: Human Interaction within Hybrid Environments. The Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). :1417–1418.
Brito I, Meseguer P.  2010.  Improving DPOP with Function Filtering. International Conference Autonomous Agents and Multiagent Systems AAMAS-10.
Brito I, Meseguer P.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
Brito I, Herrero F, Meseguer P.  2004.  On the evaluation of DisCSP algorithms. The Fifth International Workshop on Distributed Constraint Reasoning (DCR04) Toronto, Canada September 27, 2004 held in conjunction with Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004). :142-151.
Brito I, Meseguer P.  2005.  Distributed Stable Matching Problems. Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings. :152166.
Brito I, Meseguer P.  2007.  Distributed meeting scheduling. Artificial Intelligence Research and Development. 163:38-45.
Brito I, Gutierrez P, Hazelden K, de Jonge D, Lemus L, Osman N, Rosell B, Sierra C, Roig C.  2015.  Collaborative Peer Assessment using PeerLearn. Music Learning with Massive Open Online Courses (MOOCs). 6:145-174.
Brito I, Osman N, Sabater-Mir J., Sierra C.  2012.  CHARMS: A Charter Management System. Automating the Integration of Electronic Institutions and Humans. Applied Artificial Intelligence. 26:306-330.
Brito I, Meseguer P.  2007.  Distributed forward checking may lie for privacy. LNAI. 4651:93-107.
Brito I, Meseguer P.  2008.  Connecting ABT with arc-consistency. Principles and Practice of Constraint Programming. :387-401.
Brito I, Meseguer P.  2006.  Distributed stable marriage with ties and incomplete lists.. Workshop on Distributed Constraint Satisfaction, Riva di Garda, Italia, 28 agosto 2006. ECAI - 2006. :W24.
Brito I, Meseguer P.  2005.  Distributed Stable Marriage Problem. Distributed Constraint Reasoning (DCR05) Proceedings of the Sixth International Workshop Edinburgh, Scotland, 30 July, 2005. :135-147.
Brito I, Meisels A, Meseguer P, Zivan R.  2009.  Distributed Constraint Satisfaction with Partially Known Constraints. Constraints. 14:199-234.
Brito I, Meseguer P.  2006.  Asynchronous backtracking for non-binary disCSP. Workshop on Distributed Constraint Satisfaction, Riva di Garda, Italia, 28 agosto 2006. ECAI-2006. :W24.
Brito I, Meseguer P.  2006.  Distributed Stable Matching Problems with Ties and Incomplete Lists. Lecture notes in computer science. 4204:675-679.
Brito I, Meseguer P.  2003.  Distributed Forward Checking. Principles and Practice of Constraint Programming. LNCS 2833:801-806.
Bromsoms J., Marques A., Serra D., Franquesa J., Piera J., Puyol-Gruart J, Pascual R..  1987.  Prevalencia de la hta en individuos de edad mayor de 65 años internados en residencias-asilos de la provincia de girona.. Hipertensión. 4:165.
Bromsoms J., Marques A., Serra D., Franquesa J., Piera J., Puyol-Gruart J, Pascual R..  1988.  Prevalencia de la hta en individuos de edad mayor de 65 años internados en residencias-asilos de la provincia de girona.. Annals de Medicina. 74:30.
Busquets D, de Mántaras RLópez, Sierra C, Dietterich TG.  2002.  A multi-agent Architecture Integrating Learning and Fuzzy Techniques for Landmark-Based Robot Navigation. Lecture Notes in Artificial Intelligence. 2504:269-281.