Export 2126 results:
[ Autor(Desc)] Títol Tipus Any
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 
A
Ansótegui C, Giráldez-Cru J, Levy J.  2012.  The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12. 7317:410-423.
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.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07. 4501:10-15.
Ansótegui C, Manyà F.  2005.  Mapping many-valued CNF Formulas to Boolean CNF Formulas. Proc. 35th Intern. Symposium on Multiple-Valued logics ISMVL. :290-295.
Ansótegui C, Larrubia J, Li CMin, Manyà F.  2007.  Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers. Annals of Mathematics and Artificial Intelligence. 49:191-205.
Aran XFerrer, Plaza E.  2016.  Concept Discovery and Argument Bundles in the Experience Web. Case-Based Reasoning Research and Development - 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings.
Aran XFerrer, Chen YYie, Wiratunga N, Plaza E.  2014.  Preference and Sentiment Guided Social Recommendations with Temporal Dynamics. Research and Development in Intelligent Systems XXXI. :101-116.
Aran XFerrer, Giráldez-Cru J.  2016.  Link Prediction in Evolutionary Graphs. Artificial Intelligence Research and Development: Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016. :187.
Aranda G, Trescak T, Esteva M, Carrascosa C.  2010.  Building Quests for Online Games with Virtual Institutions. Workshop on Agents for Games and Simulations at AAMAS 2010. :125-139.
Aranda G, Trescak T, Esteva M.  2011.  Building Quests for Online Games with Virtual Institutions. Agents for games and simulations II. :192–206.
Arcas MAtencia, Schorlemmer M.  2006.  Situated Semantic Alignment. 4th European Workshop on Multi-Agent Systems, EUMAS'06. 223
Arcas MAtencia, Schorlemmer M.  2009.  Reaching semantic agreements through interaction. 4th AIS SigPrag Int. Pragmatic Web Conference Track, ICPW'09, at the 5th Int. Conference on Semantic Systems, i-Semantics'09. :726-737.
Arcas MAtencia, Schorlemmer M.  2008.  I-SSA: Interaction-Situated Semantic Alignment. On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. 5331:445-455.
Arcas MAtencia, Schorlemmer M.  2008.  Formalising Interaction-Situated Semantic Alignment: the communication product. 10th International Symposium on Artificial Intelligence and Mathematics.
Arcas MAtencia, Schorlemmer M.  2007.  Semantic alignment of agent interactions through the communication product. 5th European Workshop on Multi-Agent Systems, EUMAS'07.
Arcas MAtencia, Schorlemmer M.  2007.  A formal model for Situated Semantic Alignment. 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07. :1270-1277.
Arcos JLluis, Plaza E.  1998.  Instituting Interactions Among Agents. Proceedings of the "Primer Congrés Català d'Intel.ligència Artificial (CCIA'98). :154-162.
Arcos JLluis, Plaza E.  2002.  Context-Aware Personal Information Agents. International Journal on Cooperative Information Systems. 11:245-264.
Arcos JLluis.  2003.  Development of an Industrial Design Support system for Air Pollution Treatment. IJCAI?03 Workshop on Enviromental Decision Support Systems. :1-8.
Arcos JLluis, de Mántaras RLópez, Serra X.  1997.  SaxEx : a case-based reasoning system for generating expressive musical performances. International Computer Music Conference ICMC'97 (Best Paper Award). :329-336.
Arcos JLluis, de Mántaras RLópez, Serra X.  1998.  Generating expressive musical performances with SaxEx. Journal of New Music Research. 27:194-210.
Arcos JLluis.  2012.  Music And Similarity-Based Reasoning. Soft Computing in Humanities and Social Sciences. 273:467-478.
Arcos JLluis, Plaza E.  2001.  Exploiting context awareness in information agents. 5th International Conference on Autonomous Agents. :116-117.
Arcos JLluis, de Mántaras RLópez.  2001.  An interactive case-based reasoning approach for generating expressive music. Applied Intelligence. 14:115-129.
Arcos JLluis, de Mántaras RLópez, Serra X.  1998.  Integrating background musical knowledge in a CBR system for generating expressive musical performances. AAAI'98 Workshop on CBR Integrations. :12-16.
Arcos JLluis, de Mántaras RLópez, Serra X.  1997.  Generating expressive musical performances with SaxEx. International Workshop Kansei Technology of Emotion AIMI'97. :147-152.
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, Cañamero D, de Mántaras RLópez.  1998.  Affect-driven generation of expressive musical performances. AAAI'98 Fall Symposium on Emotional and Intelligent. :1-6.
Arcos JLluis.  2003.  Innovation awareness in case-based reasoning systems. ICCBR'03 Workshop Proceedings. :97-104.
Arcos JLluis.  1998.  The Noos Representation Language. Monografies del IIIA - CSIC. 6
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
Arcos JLluis, Plaza E.  1998.  Instituting Interactions Among Agents. First Int. Workshop on Interaction Agents. :8-14.
Arcos JLluis, Rodríguez-Aguilar JA, Rosell B.  2008.  Engineering Autonomic Electronic Institutions. Engineering Environment.Mediated Multi-Agent Systems. Lecture Notes in Artificial Intelligence. 5049:76-87.
Arcos JLluis, Mulayim O, Leake D.  2011.  Using introspective reasoning to improve CBR system performance. Metareasoning: Thinking about Thinking. :167-182.
Arcos JLluis, Guaus E, Ozaslan THakan.  2013.  Analyzing musical expressivity with a soft computing approach. Fuzzy Sets and Systems. 214:65-74.
Arcos JLluis, de Mántaras RLópez, Grachten M.  2003.  Extracting performers' behaviors to annotate cases in a CBR system for musical tempo transformations. (Best Paper Award) Lecture Notes in Artificial Intelligence. 2689:20-34.
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, Plaza E.  1994.  Integration of Learning into a Knowledge modelling framework. Lecture Notes in Artificial Intelligence. 867:355-373.
Arcos JLluis, Esteva M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2005.  Engineering open evironments with electronic institutions. Engineering applications of artificial intelligence.. 18:191-204.
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.
Arcos JLluis, Plaza E.  1995.  Reflection in Noos: An object-centered representation language for knowledge modelling. IJCAI'95 Workshop: On Reflection and Meta-Level Architecture and their Applications in AI. :1-10.
Arcos JLluis, Plaza E.  1997.  NOOS: an integrated framework for problem solving and learning. KEML-97 Workshop on Knowledge Engineering Methods and Languages.
Arcos JLluis, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2007.  E4Mas through Electronic Institutions.. Environments for Multi-Agent Systems III.. :184–202.
Arcos JLluis, Rodríguez-Aguilar JA, Rosell B.  2007.  Engineering Autonomic Electronic Institutions. Proceedings of the Engineering Environment-Mediated Multiagent Systems Workshop. Satellite Conference at The European Conference on Complex Systems (ECCS 2007). :45-52.
Arcos JLluis, de Mántaras RLópez.  2000.  Combining AI Techniques to Perform Expressive Music by Imitation. Workshop on Artificial Intelligence and Music: Towards formal models for composition, performance and analysis. :41-47.
Arcos JLluis, Esteva M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2005.  An integrated developing environment for electronic institutions. Software Agent based Applications. Platforms and Development Kits. :121-142.
Arcos JLluis, Plaza E.  1994.  A Reflective Architecture for Integrated Memory-Based Learning and Reasoning. Lecture Notes in Artificial Intelligence. 837:289-300.
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.
Arcos JLluis, Plaza E.  1996.  Inference and reflection in the object-centered representation language Noos. Future Generation Computer Systems Journal.
Arcos JLluis.  2004.  Improving the Quality of Solutions in Domain Evolving Environments. Lecture Notes in Artificial Intelligence. :464-475.