CSIC

You are here

Home

Bibliography

Export 2137 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, 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, 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 E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Adaptation of Autonomic electronic institutions through norms and institutional agents. Lecture Notes in Computer Science. 4457:300-319.
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, 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 E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Self-adaptation in Autonomic Electronic Institutions through Case-Based Reasoning. Proceedings of the Multi-Agents for modelling Complex Systems (MA4CS). Satellite Workshop of the European Conference on Complex Systems 2007 (ECCS'07). :ToappearasLectureNotesinComputerScience.
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.  2014.  Introducing an exotic MTL-chain. :143-145.
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, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
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 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.  2004.  On some Substructural Aspects of t-Norm Based Logics. Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems. :545–552.
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.  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.  2007.  Distributed forward checking may lie for privacy. LNAI. 4651:93-107.
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, 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, 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, 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, Meisels A, Meseguer P, Zivan R.  2009.  Distributed Constraint Satisfaction with Partially Known Constraints. Constraints. 14:199-234.
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.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
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.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
Brito I, Meseguer P.  2010.  Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundamenta Informaticae. 102:263-286.
Brito I, Meseguer P.  2007.  Distributed meeting scheduling. Artificial Intelligence Research and Development. 163:38-45.
Brito I, Meseguer P.  2006.  Distributed Stable Matching Problems with Ties and Incomplete Lists. Lecture notes in computer science. 4204:675-679.
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.
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, 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.