Export 261 results:
[ Autor(Asc)] Títol Tipus Any
Filtres: First Letter Of Last Name is A  [Clear All Filters]
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
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2012.  Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing. 19:3-23.
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.
Argerlich J., Manyà F.  2006.  Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics. :375-392.
Argerlich J., Li CMin, Manyà F, Planes J.  2011.  Experimenting with the Instances of the MaxSAT Evaluation. 14th International Conference of the Catalan Association for Artificial Intelligence. 232:31-40.
Argerlich J., Manyà F.  2005.  Solving over-constrained problems with SAT technology. Lecture Notes in Computer Science. :1-15.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2010.  New Insights into Encodings from MaxCSP into Partial MaxSAT. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL). :46-52.
Argerlich J., Manyà F.  2008.  A Preprocessor for Max-SAT Solvers. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). 4996:15-20.
Argerlich J., Li CMin, Manyà F, Planes J.  2011.  Analyzing the Instances of the MaxSAT Evaluation. 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011. 6695:360-361.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2009.  Sequential Encodings from Max-CSP into Partial Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). LNCS 5584:161-166.
Argerlich J., Li CMin, Manyà F, Planes J.  2008.  The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation. 4:251-278.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2008.  Modelling Max-CSP as Partial Max-SAT. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). 4996:1-14.
Argente E, Boissier O, Carrascosa C, Fornara N, Mcburney P, Noriega P, Ricci A, Sabater-Mir J., Schumacher MIgnaz, Tampitsikas C et al..  2013.  The role of the environment in agreement technologies. Artificial Intelligence Review. 39:21-38.
Argente E, Boissier O, Carrascosa C, Fornara N, Mcburney P, Noriega P, Ricci A, Sabater-Mir J., Schumacher MIgnaz, Tampitsikas C et al..  2012.  Environment and Agreement Technologies. Proceedings of the First International Conference on Agreement Technologies. :260-261.
Arcos JLluis, de Mántaras RLópez.  1997.  Perspectives: a declarative bias mechanism for case retrieval. Lecture Notes in Artificial Intelligence. 1266:279-290.
Arcos JLluis, Plaza E.  1994.  Integration of Learning into a Knowledge modelling framework. Lecture Notes in Artificial Intelligence. 867:355-373.
Arcos JLluis.  2012.  Music And Similarity-Based Reasoning. Soft Computing in Humanities and Social Sciences. 273:467-478.
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, 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.  1998.  The Noos Representation Language. Monografies del IIIA - CSIC. 6
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, Plaza E.  1994.  A Reflective Architecture for Integrated Memory-Based Learning and Reasoning. Lecture Notes in Artificial Intelligence. 837:289-300.
Arcos JLluis.  2004.  Improving the Quality of Solutions in Domain Evolving Environments. Lecture Notes in Artificial Intelligence. :464-475.
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.  2003.  Development of an Industrial Design Support system for Air Pollution Treatment. IJCAI?03 Workshop on Enviromental Decision Support Systems. :1-8.
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, 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, Plaza E.  1996.  Inference and reflection in the object-centered representation language Noos. Future Generation Computer Systems Journal.
Arcos JLluis, Plaza E.  2002.  Constructive adaptation. Lecture Notes in Artificial Intelligence. 2416:306-320.
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, 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, 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.  2001.  The SaxEx system for expressive music synthesis : a progress report. Workshop on Current Research Directions in Computer Music. :17-22.
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.  1998.  Instituting Interactions Among Agents. Proceedings of the "Primer Congrés Català d'Intel.ligència Artificial (CCIA'98). :154-162.
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, 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, Guaus E, Ozaslan THakan.  2013.  Analyzing musical expressivity with a soft computing approach. Fuzzy Sets and Systems. 214:65-74.
Arcos JLluis, Plaza E.  2001.  Exploiting context awareness in information agents. 5th International Conference on Autonomous Agents. :116-117.
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.  1997.  NOOS: an integrated framework for problem solving and learning. KEML-97 Workshop on Knowledge Engineering Methods and Languages.
Arcos JLluis, Plaza E.  2002.  Context-Aware Personal Information Agents. International Journal on Cooperative Information Systems. 11:245-264.
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.  2001.  T-Air : a case-based reasoning sytem for designing chemical absorption plants. Lecture Notes in Artificial Intelligence. 2080:576-588.
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
Arcos JLluis, Mulayim O, Leake D.  2011.  Using introspective reasoning to improve CBR system performance. Metareasoning: Thinking about Thinking. :167-182.
Arcos JLluis, Plaza E.  1998.  Instituting Interactions Among Agents. First Int. Workshop on Interaction Agents. :8-14.
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.  2003.  Innovation awareness in case-based reasoning systems. ICCBR'03 Workshop Proceedings. :97-104.
Arcos JLluis, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2007.  E4Mas through Electronic Institutions.. Environments for Multi-Agent Systems III.. :184–202.
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.