Export 2138 results:
[ Author(Desc)] Title Type Year
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.  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.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
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 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, Paoli F., Ledda A., Spinks M., Giuntini R..  2010.  The logic of quasi-MV algebras. Journal of Logic and Computation. 20:619-643.
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.  2014.  Introducing an exotic MTL-chain. :143-145.
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, 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, 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 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.
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, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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, Godo L.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2009.  Autonomic Electronic Institutions' Self-Adaptation in Heterogeneous Agent Societies. Organized Adaption in Multi-Agent Systems. 5368:18-35.
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.
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.  2010.  The coherence of Lukasiewicz assessments is NP-complete. International Journal of Approximate reasoning. 51:294–304.
Bova S, Flaminio T.  2009.  On the complexity of de Finetti coherence of Lukasiewicz events. Logical Models of Reasoning with Vague Information.
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, 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.  2008.  Connecting ABT with arc-consistency. Principles and Practice of Constraint Programming. :387-401.
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, Meisels A, Meseguer P, Zivan R.  2009.  Distributed Constraint Satisfaction with Partially Known Constraints. Constraints. 14:199-234.
Brito I, Meseguer P.  2007.  Distributed forward checking may lie for privacy. LNAI. 4651:93-107.
Brito I, Meseguer P.  2010.  Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundamenta Informaticae. 102:263-286.
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.  2003.  Distributed Forward Checking. Principles and Practice of Constraint Programming. LNCS 2833:801-806.
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, 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, 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.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
Brito I, Meseguer P.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
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 meeting scheduling. Artificial Intelligence Research and Development. 163:38-45.
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.
Brito I, Meseguer P.  2006.  Distributed Stable Matching Problems with Ties and Incomplete Lists. Lecture notes in computer science. 4204:675-679.
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.