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 
B
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, 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, 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, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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 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.  2004.  Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity. Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004. :38–40.
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, 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 F.  2005.  Complexity of Strict Implication. Advances in modal logic Vol. 5. :1–16.
Bou F, Esteva F, Font JMaria, Gil A, Godo L, Torrens A, Verdú V.  2008.  T-norm based fuzzy logics preserving degrees of truth. IPMU 2008. :1053-1060.
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.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
Bou F, García-Cerdaña A, Verdú V.  2004.  Analysis of two fragments of the logic of residuated lattices. Proceedings of CombLog'04. Workshop on Combination of Logics: Theory and Applications. :175–186.
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.
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, Almajano P, Rodriguez I, López-Sánchez M.  2014.  Assistive Awareness in Smart Grids. The Computer After Me.
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.
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.  2011.  A bibliometric index based on the collaboration distance between cited and citing authors. Journal of Informetrics. 5:248-264.
Bras-Amorós M, Domingo-Ferrer J, Torra V.  2010.  A Bibliometric Index Based on Collaboration Distances. MDAI 2010. 6408:5-6.
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, Meseguer P.  2010.  Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundamenta Informaticae. 102:263-286.
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, 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.  2007.  Distributed forward checking may lie for privacy. LNAI. 4651:93-107.
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, Meseguer P.  2010.  Improving DPOP with Function Filtering. International Conference Autonomous Agents and Multiagent Systems AAMAS-10.
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.  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.
Brito I, Meseguer P.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
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, 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.  2007.  Distributed meeting scheduling. Artificial Intelligence Research and Development. 163:38-45.
Brito I, Meisels A, Meseguer P, Zivan R.  2009.  Distributed Constraint Satisfaction with Partially Known Constraints. Constraints. 14:199-234.
Brito I, Meseguer P.  2008.  Connecting ABT with arc-consistency. Principles and Practice of Constraint Programming. :387-401.
Brito I.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
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.  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, 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.
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.  Reinforcement Learning for Landmark-based Robot Navigation. First International Joint Conference on Autonomous Agents and Multiagent Systems. Conference (AAMAS-2002) Bologna, Italy. 2:841-843.
Busquets D, Sierra C, de Mántaras RLópez.  2003.  A Multi-Agent Approach to Fuzzy Landmark-Based Navigation. Journal of Multi-Valued Logic & Soft Computing. 9:195-220.
Busquets D, de Mántaras RLópez, Sierra C.  2003.  Evolving a Multiagent System or Landmark-based Robot Navigation. Frontiers in Artificial Intelligence and Applications. 100:87-98.