Export 307 results:
Autor [ Títol(Asc)] Tipus Any
Filtres: First Letter Of Last Name is L  [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 
W
Vinyals M, Cerquides J, Farinelli A, Rodríguez-Aguilar JA.  2010.  Worst-case bounds on the quality of max-product fixed-points. :2325-2333.
Levy J, Niehren J, Villaret M.  2005.  Well-Nested Context Unification. Lecture Notes in Artificial Intelligence. 3632:149-163.
Davidson PPinacho, Blum C, Lozano JAntonio.  2018.  The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic Approaches. European Journal of Operational Research. 265(3):860-871.
Davidson PPinacho, Blum C, Lozano JAntonio.  2017.  The Weighted Independent Domination Problem: ILP Model and Algorithmic Approaches. EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization. 10197 (Lecture Notes in Computer Science):201--214.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2011.  Weaving a Fabric of Socially Aware Agents. The 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011). :263-274.
V
Chocron P, Schorlemmer M.  2017.  Vocabulary Alignment in Openly Specified Interactions. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. :1064–1072.
Chocron P, Schorlemmer M.  2017.  Vocabulary Alignment for Agents with Flexible Protocols. Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2011.  Virtual Institutions For Water Rights Negotiation.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2013.  A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
Henández C, Sancho J, Belmonte MAngel, Patak A, Sanz F, Sierra C.  1994.  Validation of the medical Expert Sytem RENOIR. Moving Towards expert systems globally in the 21st century. :510-518.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2013.  v-mWater: An e-Government Application for Water Rights Agreements. Agreement Technologies (Law, Governance and Technology Series). 8:583-596.
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.
U
Armengol E, Plaza E.  2005.  Using Symbolic Descriptions to Explain Similarity on CBR. Artificial intelligence research and development (CCIA-2005). :239-246.
Peleteiro A, Burguillo-Rial JC, Luck M, Arcos JLluis, Rodríguez-Aguilar JA.  2015.  Using reputation and adaptive coalitions to support collaboration in competitive environments. Engineering applications of artificial intelligence. 45:325-338.
Robles A, Noriega P, Luck M, Cantú F.  2006.  Using MAS technologies for intelligent organizations: a report of bottom-up results. Lecture notes in computer science. Lecture notes on Artificial Intelligence. 4293:1116-1127.
Morales J, Mendizabal I, Sanchez-Pinsach D, López-Sánchez M, Rodríguez-Aguilar JA.  2014.  Using IRON to Build Frictionless On-line Communities. AI Communications. 28:16.
Arcos JLluis, Mulayim O, Leake D.  2011.  Using introspective reasoning to improve CBR system performance. Metareasoning: Thinking about Thinking. :167-182.
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
Morales J, López-Sánchez M, Esteva M.  2011.  Using Experience to Generate New Regulations. :307-312.
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.
Musavi A, López-Sánchez M, Campos J, Esteva M.  2008.  Using Electronic Institutions for Hospitals Chronic Disease Management and Purchasing System. Artificial Intelligence Research and Development, (CCIA 08). 184:80-86.
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.
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
T
Meseguer P, Sánchez M, Larrosa J.  2005.  Tree decomposition with function filtering. Lecture Notes in Computer Science. 3709:593-606.
Li CMin, Manyà F, Mohamedou NO, Planes J.  2008.  Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 14th International Conference on Principles and Practice of Constraint Programming (CP-2008). 5202:582-587.
Pitt J, Bourazeri A, Nowak A, Roszczynska M, Rychwalska A, Rodriguez I, López-Sánchez M, Florea M, Sanduleac M.  2013.  Transforming Big Data Into Collective Awareness For Transformative Impact On Society. Computer. 46:40-45.
Allouche D, Bessiere C, Boizumault P, de Givry S, Gutierrez P, Lee JHM, Leung KLun, Loudni S, Métivier J-P, Schiex T et al..  2016.  Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence. 238:166–189.
Allouche D, Bessiere C, Boizumault P, de Givry S, Gutierrez P, Lee JHM, Leung KLun, Loudni S, Métivier J-P, Schiex T et al..  2016.  Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence. 238:166–189.
Allouche D, Bessiere C, Boizumault P, de Givry S, Gutierrez P, Lee JHM, Leung KLun, Loudni S, Métivier J-P, Schiex T et al..  2016.  Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence. 238:166–189.
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.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Towards self-configuration in autonomic electronic institutions. Lecture Notes in Computer Science. 4386:229-244.
Rodríguez-Aguilar JA, Sierra C, Arcos JLluis, López-Sánchez M, Rodriguez I.  2015.  Towards next generation coordination infrastructures. Knowledge engineering review. 30
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.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R, Cranefield S, Dignum F, Eynard D, Farcas E, Fornara N et al..  2013.  The uses of norms. Normative Multi-Agent Systems. :191–229.
Bou F, Paoli F., Ledda A., Spinks M., Giuntini R..  2010.  The logic of quasi-MV algebras. Journal of Logic and Computation. 20:619-643.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
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.
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.
Flaminio T, Hosni H.  2012.  The epistemic structure of de Finetti's betting problem. 9th Italian Convention on Computational Logic (CILC 2012). 857:241–245.
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
Ganzer-Ripoll J, López-Sánchez M, Rodríguez-Aguilar JA.  2016.  A target-oriented discussion framework to support collective decision making. Proceedings of the International Conference on Agreement Technologies.
Ganzer-Ripoll J, López-Sánchez M, Rodríguez-Aguilar JA.  2017.  A target-oriented discussion framework to support collective decision making. Multi-Agent Systems and Agreement Technologies. 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers. Lecture Notes in Artificial Intelligence