Export 304 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Conference Paper
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.
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.
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
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.
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.
Levy J, Niehren J, Villaret M.  2005.  Well-Nested Context Unification. Lecture Notes in Artificial Intelligence. 3632:149-163.
Conference Proceedings
Pérez A, Blum C, Lozano JAntonio.  2018.  Approximating the maximum weighted decomposable graph problem with applications to probabilistic graphical models. The 9th International Conference on Probabilistic Graphical Models. 72:320-331.
Lamontagne L, Plaza E.  2014.  Case-Based Reasoning Research and Development - Proc. ICCBR-14. 8765
Lizárraga E, Blesa MJ, Blum C.  2017.  Construct, Merge, Solve and Adapt Versus Large Neighborhood Search for Solving the Multi-dimensional Knapsack Problem: Which One Works Better When? EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization. 10197 (Lecture Notes in Computer Science):60--74.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M.  2014.  Conversational Structured Hybrid 3D Virtual Environments.
Morales J, López-Sánchez M, Esteva M.  2011.  Evaluation of an Automated Mechanism for Generating New Regulations. 7023:12-21.
Morales J, Borda IMendizabal, Sanchez-Pinsach D, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Extending NormLab to Spur Research on Norm Synthesis. :1931–1932.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2014.  Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems. :109-116.
Morales J, Mendizabal I, Sanchez-Pinsach D, López-Sánchez M, Wooldridge M, Vasconcelos WW.  2014.  NormLab: A Framework to Support Research on Norm Synthesis (Demonstration). :1697-1698.
Torra V, Navarro-Arribas G, Abril D.  2010.  On the Applications of Aggregation Operators in Data Privacy. 68
Abril D, Navarro-Arribas G, Torra V.  2011.  On the declassification of confidential documents. 6820:235-246.
Torra V, Narukawa Y, Yin J, Long J.  2011.  Proc. of the Modeling Decisions for Artificial Intelligence (MDAI 2011). 6820
Sierra C, Debenham J.  2012.  Robust Trust: Prior Knowledge, Time and Context. 123:1-12.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Synthesising Liberal Normative Systems.
Morales J, López-Sánchez M, Esteva M.  2011.  Using Experience to Generate New Regulations. :307-312.
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.
Vinyals M, Cerquides J, Farinelli A, Rodríguez-Aguilar JA.  2010.  Worst-case bounds on the quality of max-product fixed-points. :2325-2333.
Journal Article
Rodríguez-Aguilar JA, Sierra C, Arcos JLluis, López-Sánchez M, Rodriguez I.  2015.  Towards next generation coordination infrastructures. Knowledge Eng. Review. 30:435–453.
Ladra S, Torra V.  2008.  On the comparison of generic information loss measures and cluster-specific ones. Int. J. of Unc., Fuzziness and Knowledge Based Systems. 16:107-120.
Larrosa J, Meseguer P.  2003.  Algoritmos para satisfacción de Restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Otoño 2003:31-42.
Kutsia T, Levy J, Villaret M.  2014.  Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52:155-190.
Almajano P, López-Sánchez M, Rodriguez I, Trescak T.  2014.  Assistant Agents to Advice Users in Hybrid Structured 3D Virtual Environments. Computer Animation and Virtual Worlds (CAVW). 25:10.
Jennings NR, Faratin P, Lomuscio A.R, Parsons S, Wooldridge M, Sierra C.  2001.  Automated negotiation : prospects, methods and challenges. Group Decision and Negotiation. 10:199-215.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Vasconcelos WW, Wooldridge M.  2015.  Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous Agents and Adaptive Systems. 10
López-Sánchez M, Serramia M, Rodríguez-Aguilar JA, Morales J, Wooldridge M.  2017.  Automating decision making to help establish norm-based regulations. CoRR. abs/1703.09087
Levy J, Agustí-Cullell J.  1996.  Bi-Rewrite Systems. Journal of Symbolic Computation. 22:279–314.
López B, Plaza E.  1997.  Case-based learning of plans and goal states in medical diagnosis. Artificial Intelligence in Medicine. 9:29-60.
Fernández-Martínez JLuis, López-Sánchez M, Rodríguez-Aguilar JA, Sánchez-Rubio D, Nemegyei BZambrano.  2018.  CoDesigning Participatory Tools for a New Age: A Proposal for Combining Collective and Artificial Intelligences. International Journal of Public Administration in the Digital Age. 5(4):1-17.
Ganzer-Ripoll J, Criado N, López-Sánchez M, Parsons S, Rodríguez-Aguilar JA.  2019.  Combining social choice theory and argumentation: Enabling collective decision making. Group Decision and Negotiation. 28(1):127-173.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2012.  Communicating open systems. Artificial Intelligence. 186:38-64.
Amatriain X, Bonada J, Loscos À, Arcos JLluis, Verfaille V.  2003.  Content-Based Transformations. Journal of New Music Research. 32:95-114.
Almajano P, Bourazeri A, López-Sánchez M, Rodriguez I.  2013.  Digital game enables active user participation in SmartGrids. Awareness Magazine.
Billhardt H, Fernandez A, Lemus L, Lujak M, Osman N, Ossowski S, Sierra C.  2014.  Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. Intelligent Systems. 29:70-76.
Billhardt H, Fernandez A, Lemus L, Lujak M, Osman N, Ossowski S, Sierra C.  2014.  Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. Intelligent Systems. 29:70-76.
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.
Cerquides J, Reyes-Moro A, Rodríguez-Aguilar JA, López-Sánchez M.  2007.  Enabling assisted strategic negotiations in actual-world procurement scenarios. Electronic Commerce Research. :Inpress.
Trescak T, Rodriguez I, López-Sánchez M, Almajano P.  2013.  Execution Infrastructure for Normative Virtual Environments. Engineering applications of artificial intelligence. 26:51-62.
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.
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.
Ansótegui C, Gabàs J, Levy J.  2016.  Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. 22:1–53.
Torra V, Miyamoto S, Lanau S.  2005.  Exploration of textual databases using a fuzzy hiercarchical clustering algorithm in the GAMBAL system. Information processing and management. 41:587-598.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1994.  Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae. 21(3):163–182.
Giráldez-Cru J, Levy J.  2016.  Generating SAT instances with community structure. Artificial Intelligence. 238:119–134.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2017.  Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58:293-310.
Torra V, Lanau S, Miyamoto S.  2006.  Image Clustering for the Exploration of Video Sequences. Journal of the american society for information science and technology. 57:577-584.