Export 2132 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.  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.  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 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.  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, 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 E, López-Sánchez M, Rodríguez-Aguilar JA.  2006.  Norm adaptation of autonomic electronic institutions with multiple goals. International Transactions on Systems Science and Applications. 1:227-238.
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, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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.  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.  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, 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.
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 F.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
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.
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, 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, 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.  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.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
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, 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.
Brito I, Meseguer P.  2008.  Connecting ABT with arc-consistency. Principles and Practice of Constraint Programming. :387-401.
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, 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.
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.