Export 465 results:
Autor Título Tipo [ Año(Desc)]
Filtros: First Letter Of Last Name is B  [Clear All Filters]
2003
Amatriain X, Bonada J, Loscos À, Arcos JLluis, Verfaille V.  2003.  Content-Based Transformations. Journal of New Music Research. 32:95-114.
Meseguer P, Bouhmala N, Bouzoubaa T, Irgens M, Sánchez M.  2003.  Current Approaches for Solving Over-Constrained Problems. Constrains Journal. 8:9-39.
Meseguer P, Bouhmala N, Bouzoubaa T, Irgens M, Sánchez M.  2003.  Current Approaches for Solving Over-Constrained Problems. Constrains Journal. 8:9-39.
Brito I, Meseguer P.  2003.  Distributed Forward Checking. Principles and Practice of Constraint Programming. LNCS 2833:801-806.
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.
Gómez E, Grachten M, Amatriain X, Arcos JLluis.  2003.  Melodic Characterization of monophonic Recordings for Expressive Tempo Transformations. Stockholm Music Acoustics Conferences (SMAC'03). II:533-536.
Atserias A, Bonet MLuisa, Levy J.  2003.  On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity. 41:12.
Boixader D, Godo L.  2003.  Posibility Relations: the hindden face of fuzzy preoders. Proceedings of Third Conference of the Europeean Society for Fuzzy Logic and Technologies (EUSFLAT 2003) September-2003. :433-436.
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.  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.
2004
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  3D Electronic Institutions: Social Interfaces for E-Commerce. Conferences in Research and Practice in Information Technology. 40
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  3D Electronic Institutions: Social Interfaces for E-Commerce. Conferences in Research and Practice in Information Technology. 40
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  3D Electronic Institutions: Social Interfaces for E-Commerce. Conferences in Research and Practice in Information Technology. 40
Godo L, Puyol-Gruart J, Sandri S, Barrufet P..  2004.  A decision model for treatment given imprecise clinical diagnoses. Actas del XII Congreso español sobre tecnologías y lógica fuzzy (ESTYLF 2004). :159-164.
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.
Godo L, Puyol-Gruart J, Sandri S, Barrufet P..  2004.  Assessing adequacy and risk of drugs in treatments for imprecise clinical diagnoses. Recent advances in artificial intelligence research and development. :3-10.
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  E-commerce environments as 3D electronic institutions. IADIS International Conference e-Commerce, Lisbon, Portugal. 14-16 December 2004.
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  E-commerce environments as 3D electronic institutions. IADIS International Conference e-Commerce, Lisbon, Portugal. 14-16 December 2004.
Mohan M, Busquets D, de Mántaras RLópez, Sierra C.  2004.  Integrating a potencial field based pilot into a multiagent navigation architecture for autonomous robots. 1st International Conference on Informatics in Control, Autonomation and Robotics, Setúbal, Portugal, 25-28 August 2004. :287-290.
Armengol E, Plaza E.  2004.  Multiple-instance case-based learning for predictive toxicology. Lecture Notes in Computer Science. 3303:206-220.
Esteva M, Vasconcelos WW, Sierra C, Rodríguez-Aguilar JA.  2004.  Norm consistency in electronic institutions. XVII Brazilian Symposium on Artificial Intelligence - SBIA'04 LNAI 3171. :494-505.
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.
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.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Esteva F, Rifqi M, Bouchon-Meunier B, Detyniecki M.  2004.  Similarity-based fuzzy interpolation method. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004 Proceedings. II:1443-1449.
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.
Brito I.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
Torra V, Narukawa Y.  2004.  Towards the definition of fuzzy measures for fuzzy systems. Current issues in data and knoledge engineering. Proceedings of EUROFUSE 2004. :541-548.
2005
Blandi L, Godo L, Rodriguez ROscar.  2005.  A Connection between Similarity Logic Programming and Gödel Modal Logic. Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain. :775-780.
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.
Bessière C, Brito I, Maestre A, Meseguer P.  2005.  Asynchronous Backtracking without Adding Links: A new Member in the ABT Family. Artificial Intelligence. 161:7-24.
Bessière C, Brito I, Maestre A, Meseguer P.  2005.  Asynchronous Backtracking without Adding Links: A new Member in the ABT Family. Artificial Intelligence. 161:7-24.
Bou F.  2005.  Complexity of Strict Implication. Advances in modal logic Vol. 5. :1–16.
Ramakrishnan R, Freytag J-C, Agrawal R, Bolliger T, Clifton CW, Dzeroski S, Hipp J, Keim D, Kramer S, Kriegel H-P et al..  2005.  Data mining: The next generation. Dagstuhl Seminar Proceedings. 4292
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.  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.  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.
Ambstha M., Busquets D, de Mántaras RLópez, Sierra C.  2005.  Evolving a Multiagent System for Landmark-based Navigation. Internacional journal of intelligent systems. 20:523-539.
Li CMin, Manyà F, Planes J..  2005.  Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max SAT Solvers. Lecture Notes in Computer Science. 3571:403-414.
Bogdanovych A, Berger H, Sierra C, Simoff S.  2005.  Humans and agents in 3D electronic institutions. 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands.
Bogdanovych A, Berger H, Sierra C, Simoff S.  2005.  Humans and agents in 3D electronic institutions. 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands.
Alsinet T, Manyà F, Planes J..  2005.  Improved Exact Solver for Weighted Max-Sat. Lecture Notes in Computer Science. 3569:371-377.
Hernández C, Meseguer P.  2005.  Improving Convergence of LRTA*(k). Proceedings of the IJCAI 2005 Workshop on Planning and Learning in a Priori Unknown or Dynamic Domains. :69-75.
Meseguer P, Larrosa J, Sánchez M.  2005.  Improving Tree decomposition methods with function fuction filtering. Nineteenth International Joint Conference on Artificial Intelligence. Edinburgh, Scotland. IJCAI-05. :1537-1538.
Macho-González S, Meseguer P.  2005.  Open, interactive and dynamic CSP. Changes'05 International Workshop on Constraint Solving under Change and Uncertainty. :13-17.
Cerquides J, de Mántaras RLópez.  2005.  Robust Bayesian Linear Classifier Ensembles. Lecture Notes in Computer Science. 3720:72-83.
Argerlich J., Manyà F.  2005.  Solving over-constrained problems with SAT technology. Lecture Notes in Computer Science. :1-15.
Meseguer P, Sánchez M, Larrosa J.  2005.  Tree decomposition with function filtering. Lecture Notes in Computer Science. 3709:593-606.