Export 564 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is A  [Clear All Filters]
Conference Paper
Sierra C, Agustí-Cullell J, Plaza E.  1991.  Verification by construction in MILORD. Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems.
Abril D, Navarro-Arribas G, Torra V.  2013.  Vector space model anonymization. CCIA 2013 - Sixteenth International Conference of the Catalan Association of Artificial Intelligence. 256:141-150.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2012.  v-mWater: a 3D Virtual Market for Water Rights. AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
Grachten M, Arcos JLluis.  2004.  Using the Implication/Realization Model for Measuring Melodic Similarity. 16th European Conference on Artificial Intelligence, ECAI 2004.. :1023-1024.
Armengol E, Plaza E.  2005.  Using Symbolic Similarity to Explain CBR in Classification Task. Fall Symposium. Proceedings AAAI. FS-05-04. :1-9.
Sabater-Mir J., Arcos JLluis, de Mántaras RLópez.  1998.  Using Rules to support Case-based Reasoning for harmonizing melodies. AAAI Apring Symposium on Multimodal Reasoning. :147-151.
Plaza E, Arcos JLluis.  1993.  Using Reflection Principles in the Integration of Learning and Problem Solving. ECML-93 Workshop on Integrated Learning Architectures, ILA-93.
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
Molina-Solana M, Arcos JLluis, Gómez E.  2008.  Using expressive trends for identifying violin performers. International Conference on Music Information Retrieval, ISMIR'08. :495-500.
Ashri R, Payne T, Luck M, Surridge M, Sierra C, Rodríguez-Aguilar JA.  2006.  Using electronic Institutions to Secure Grid Environments. Lecture Notes in Computer Science. :461-475.
Ansótegui C, Giráldez-Cru J, Levy J, Simon L.  2015.  Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15.
Sanchez-Pinsach D, Arcos JLluis, Laxe S, Bernabeu M, Tormos JMaria.  2017.  Using community detection techniques to disc over non-explicit relationships in neurorehabilitation treatments. 20th International Conference of the Catalan Association for Artificial Intelligence. 300:26-35.
Alsinet T, Bejar R, Godo L, Guitart F.  2012.  Using Answer Set Programming for an scalable implementation of Defeasible Argumentation. 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012). 1:1016-1021.
Armengol E.  2007.  Usages of Generalization in CBR. Lecture Notes in Artificial Intelligence. :31-45.
Serrà J, Müller M, Grosche P, Arcos JLluis.  2012.  Unsupervised detection of music boundaries by time series structure features. AAAI Conf. on Artificial Intelligence. :1613-1619.
Mulayim O, Arcos JLluis.  2008.  Understanding Dubious Future Problems. Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008. Lecture Notes in Artificial Intelligence. 5239:385-399.
Agustí-Cullell J, Sierra C.  1990.  Una metodologia y un lenguaje para la ingenieria del conocimiento. DOCUMAT. :14-27.
Argerlich J., Domingo X, Li CMin, Manyà F, Planes J..  2006.  Towards Solving Many-Valued MaxSAT. Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.
Yee-King M, Confalonieri R, de Jonge D, Osman N, Hazelden K, Amgoud L, Prade H, Sierra C, d'Inverno M.  2012.  Towards Community Browsing for Shared Experiences: The WeBrowse System. The first International Conference on Agreement Technologies.
Abril D, Navarro-Arribas G, Torra V.  2013.  Towards a private vector space model for confidential documents. Symposium On Applied Computing. :944–945.
Criado N, Argente E, Noriega P, Boti V.  2010.  Towards a Normative BDI Architecture for Norm Compliance.. 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW2010). :65-81.
Ontañón S, Dellunde P, Godo L, Plaza E.  2010.  Towards a logical model of induction from examples and communication. Artificial Intelligence Research and Development, CCIA'10. :259-268.
Armengol E, Dellunde P, García-Cerdaña A.  2012.  Towards a Fuzzy Extension of the López de Mántaras Distance. IPMU 2012. 297:81-90.
de Mántaras RLópez, Arcos JLluis.  2001.  The synthesis of expressive music : a challenging CBR application. Lecture Notes in Artificial Intelligence. 2080:16-25.
de Mántaras RLópez, Arcos JLluis.  2001.  The synthesis of expressive music : a challenging CBR application. Lecture Notes in Artificial Intelligence. 2080:16-25.
Agotnes T, van der Hoek W, Rodríguez-Aguilar JA, Sierra C, Wooldridge M.  2007.  The Simple Normative System Language (SNL). IJCAI Workshop AOMS. :1–12.
Arcos JLluis, de Mántaras RLópez.  2001.  The SaxEx system for expressive music synthesis : a progress report. Workshop on Current Research Directions in Computer Music. :17-22.
de Mántaras RLópez, Agustí-Cullell J, Sierra C.  1987.  The Management of Uncertainty in the MILORD System. Second International Fuzzy systems Association Congress. II:665-668.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07. :32-37.
Serrà J, Müller M, Grosche P, Arcos JLluis.  2012.  The importance of detecting boundaries in music structure annotation. Music Information Retrieval Evaluation eXchange (MIREX).
Ansótegui C, Bejar R, Fernandez C, Gomes C, Mateu C.  2006.  The impact of balancing on problem hardness in a highly structured domain. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006.. :10-15.
Ghobani A, Aldewereld H, Dignum V, Noriega P.  2012.  The Dutch eat at 5: 30 pm: shared strategies for agent reasoning. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 3:1421-1422.
Grachten M, Arcos JLluis, de Mántaras RLópez.  2006.  TempoExpress: An expresivity-preserving musical tempo transformation system. 21st National Conference on Artificial Intelligence (AAAI-06), Boston, USA, 16-20 July 2006. 2:1609-1612.
Grachten M, Arcos JLluis, de Mántaras RLópez.  2004.  TempoExpress, a CBR Approach to Musical Tempo Transformations. In Advances in Case-Based Reasoning. Lecture Notes in Artificial Intelligence. 3155:601-615.
Grachten M, Arcos JLluis, de Mántaras RLópez.  2003.  Tempo-Express: tempo transformations preserving musical expression. Workshop on Methods for Automatic Music Performance and their Applications in a Public Rendering Contest. :32-36.
Ros R, de Mántaras RLópez, Arcos JLluis, Veloso M.  2007.  Team Playing Behavior in Robot Soccer: A Case-Based Approach. Lecture Notes in Artificial Intelligence. 4626:46-60.
Schorlemmer M, Arcas MAtencia.  2009.  Taking interaction ontologically prior to meaning. 7th European Conference on Computing and Philosophy, E-CAP'09. :160-161.
Arcos JLluis.  2001.  T-Air : a case-based reasoning sytem for designing chemical absorption plants. Lecture Notes in Artificial Intelligence. 2080:576-588.
Arcos JLluis.  2001.  T-Air : a case-based reasoning sytem for designing chemical absorption plants. Lecture Notes in Artificial Intelligence. 2080:576-588.
Andrejczuk E, Rodríguez-Aguilar JA, Roig C, Sierra C.  2017.  Synergistic Team Composition. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017). :1463-1465.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M, Puig A.  2013.  Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability. 8th International Conference on Computer Graphics Theory and Applications. :288-297.
Agustí-Cullell J, Esteva F, García P, Godo L, de Mántaras RLópez, Murgui L, Puyol-Gruart J, Sierra C.  1992.  Structured Local Fuzzy logics in MILORD. Fuzzy Logic for the Management of Uncertainty. :523-551.
Grosche P, Serrà J, Müller M, Arcos JLluis.  2012.  Structure-based audio fingerprinting for music retrieval. Int. Soc. for Music Information Retrieval Conf. (ISMIR). :55-60.
Aguzzoli S, Flaminio T, Marchioni E.  2010.  Some categorical equivalences involving Goedel algebras. Logic, Algebra and Truth Degrees 2010.
Andrejczuk E, Bistaffa F, Blum C, Rodríguez-Aguilar JA, Sierra C.  2018.  Solving the Synergistic Team Formation Problem. Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2018). :1853-1855.
Argerlich J., Manyà F.  2005.  Solving over-constrained problems with SAT technology. Lecture Notes in Computer Science. :1-15.
Ansótegui C, Bonet MLuisa, Levy J.  2010.  On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. 5584:427-440.