Export 465 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Last Name is B  [Clear All Filters]
2004
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.
2003
Ramchurn SD, Jennings NR, Sierra C, Godo L.  2003.  A computational Trust Model for Multi-Agent Interactions based on Confidence and Reputation. In Proceedings of the 6th International Workshop on Trust, Privacy, Deception and Fraud in Agent Systems (AAMAS'03) July 2003 Melbourne, Australia. Workshop:69-75.
Gómez M, Abasolo C.  2003.  A general framework for meta-search based on query-weighting and numeral aggregation operators. Intelligent Systems for Information Processing: From Representation to Applications. :129-140.
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.
Godo L, Puyol-Gruart J, Sabater-Mir J., Torra V, Barrufet P., Fàbregas X..  2003.  A multi-agent system approach for monitoring the prescription of restricted use antibiotics. Artificial Intelligence in Medicine. 27 (2003):259-282.
Busquets D, Sierra C, de Mántaras RLópez.  2003.  A Multiagent Approach to Qualitative Landmark-Based Navigation. Autonomous Robots. 15:129-154.
Gottwald S, García-Cerdaña A, Bou F.  2003.  Axiomatizing monoidal logic. A correction to: "A treatise on many-valued logics''. Journal of Multiple-Valued Logic and Soft Computing. 9:427–433.
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.
2002
Busquets D, de Mántaras RLópez, Sierra C, Dietterich TG.  2002.  A multi-agent Architecture Integrating Learning and Fuzzy Techniques for Landmark-Based Robot Navigation. Lecture Notes in Artificial Intelligence. 2504:269-281.
Dietterich TG, Busquets D, de Mántaras RLópez, Sierra C.  2002.  Action Refinement in Reinforcement Learning by Probability Smoothing. Proceedings of the Nineteenth International Conference on Machine Learning. (8-12 July 2002, Sydney, Australia). :107-114.
Arcos JLluis, de Mántaras RLópez.  2002.  Combining Fuzzy and Case-Based Reasoning to Generate Human-like Music Performances. Studies in Fuzziness and Soft Computing. 29:21-32.
Godo L, Sandri S.  2002.  Dealing with Imprecise Imputs in a Fuzzy Rule-Based System using an Implication-based Rule Model. Studies in Fuzziness and Soft Computing. Vol.89. Technologies for Constructing Intelligent Systems. :43-56.
Rodríguez-Aguilar JA, Sierra C.  2002.  Enabling Open Atent Institutions. Socially Intelligent Agents: Creating relationships with computers and robots.. :259-266.
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.
Bessière C, Maestre A, Meseguer P.  2002.  La famille ABT. 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC´02. :57-67.
Bessière C, Meseguer P, Freuder EC, Larrosa J.  2002.  On foward checking for non-binary constraint satisfaction. Artificial Intelligence. 141:205-224.
da Silva FSoares Cor, Vasconcelos WW, Robertson D, Brilhante V, de Melo A, Finger M, Agustí-Cullell J.  2002.  On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems. 15:147-167.
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.
Drummond I, Godo L, Sandri S.  2002.  Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations. Lecture Notes in Artificial Intelligence. 2507:386-396.
2001
Alsinet T, Godo L.  2001.  A proof procedure for possibilistic logic programming with fuzzy constants. Lecture notes in artificial intelligence. 2143:760-771.
Alsinet T, Godo L.  2001.  A proof procedure for possibilistic logic programming with fuzzy constants. Lecture notes in artificial intelligence. 2143:760-771.
Sierra C, de Mántaras RLópez, Busquets D.  2001.  A robust MAS coordination mechanism for action selection. AAAI 2001 Spring Symposium. :38-40.
Bessière C, Maestre A, Meseguer P.  2001.  Distributed Dynamic Backtracking. Proceedings of the IJCAI´01. Workshop on Distributed Constraint Reasoning. :9-16.
Bessière C, Maestre A, Meseguer P.  2001.  Dynamic Backtracking distribué. Proceedings Journées nationales sur la résolution pratique de problèmes NP-Complets, JNPC´2001. :61-72.
Altamirano E, Escalada-Imaz G.  2001.  Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. Lecture notes in artificial intelligence. 2143:792-804.
Altamirano E, Escalada-Imaz G.  2001.  Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. Lecture notes in artificial intelligence. 2143:792-804.
Sierra C, de Mántaras RLópez, Busquets D.  2001.  Multiagent bidding mechanisms for robot qualitative navigation. Lecture notes in artificial intelligence. 1986:198-212.
Sierra C, Sabater-Mir J..  2001.  REGRET : a reputation model in gregarious societies. Fourth Workshop on Deception, Fraud and Trust in Agent Societies. :61-69.
Béjar J, Rodríguez-Aguilar JA.  2001.  To bid or not to bid agetn strategies in electronic auction games. Lecture notes in artificial intelligence. 2003:173-191.
1999
Arcos JLluis, Cañamero D, de Mántaras RLópez.  1999.  Affect-Driven CBR to generate expressive music. Lecture Notes in Artificial Intelligence. 1650:1-13.
Arcos JLluis, Cañamero D, de Mántaras RLópez.  1999.  Affect-Driven CBR to generate expressive music. Lecture Notes in Artificial Intelligence. 1650:1-13.
Puyol-Gruart J.  1999.  Computer Science and Artificial Intelligence in Archaeology. New Techniques for Old Times. Computer Applications in Archaeology 1998. 757:19-27.
Puyol-Gruart J.  1999.  Computer Science and Artificial Intelligence in Archaeology. New Techniques for Old Times. Computer Applications in Archaeology 1998. 757:19-27.
Domingo M, Baranera MMartín, Sanz F, Sierra C, Uriz MJesus.  1999.  Validating SPONGIA an expert system for sponge identification. Expert Systems with Applications. 16:379-384.