Export 307 results:
Autor [ Títol(Desc)] 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 
I
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2013.  IRON: A Machine for the Automated Synthesis of Normative Systems (Demonstration). AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems. :1389-1390.
Chevaleyre Y., Dunne P.E, Endriss U., Lang J., Lemaitre M., Maudet N., Padget J, Phelps S, Rodríguez-Aguilar JA, Sousa P..  2006.  Issues in multiagent resource allocation. Informatica. 30:3-31.
Chevaleyre Y., Dunne P.E, Endriss U., Lang J., Lemaitre M., Maudet N., Padget J, Phelps S, Rodríguez-Aguilar JA, Sousa P..  2006.  Issues in multiagent resource allocation. Informatica. 30:3-31.
L
Lizárraga E, Blesa MJ, Blum C, Raidl GR.  2017.  Large neighborhood search for the most strings with few bad columns problem. Soft Computing. 21(17):4901–4915.
Koeppen J, López-Sánchez M, Morales J, Esteva M.  2011.  Learning from Experience to Generate New Regulations. Coordination, Organizations, Institutions, and Norms in Agent Systems VI.
Levy J.  1996.  Linear Second Order Unification. Lecture Notes in Computer Science. 1103:332-346.
Levy J, Villaret M.  2000.  Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Lecture Notes in Computer Science. 1833:156-171.
Giráldez-Cru J, Levy J.  2017.  Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017. :638–644.
Sánchez M, Larrosa J, Meseguer P.  2001.  Lower bounds for non-binary constraint optimization problems. Lecture notes in computer science. 2239:317-331.
M
Gutierrez P, Lee J, Lei KMan, Mak T, Meseguer P.  2013.  Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search. 19th International Conference on Principles and Practice of Constraint Programming (CP 2013). 8124
Gutierrez P, Lee J, Lei KMan, Mak T, Meseguer P.  2013.  Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search. 19th International Conference on Principles and Practice of Constraint Programming (CP 2013). 8124
Lemaitre C, Noriega P.  2015.  Making sense out of polemics. Twelfth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2015).
López-Sánchez M, de Mántaras RLópez, Sierra C.  2001.  Map generation by co-operative autonomous robots using possibility theory. STUDIES IN FUZZINESS AND SOFT COMPUTING: Fuzzy Logic Techniques for Autonomous Vehicle Navigation.. :281-312.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1999.  Map Generation by means of autonomous robots and possibility propagation techniques. Third International conference on Autonomous Agents. :380-381.
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.
Li CMin, Manyà F.  2009.  MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. 185:613-631.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2008.  Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08. :222-228.
Bourazeri A, Pitt J, Almajano P, Rodriguez I, López-Sánchez M.  2012.  Meet the Meter: Visualising SmartGrids using Self-Organising Electronic Institutions and Serious Games. 2nd AWARE workshop on Challenges for Achieving Self-Awareness in Autonomic Systems.
Grachten M, Arcos JLluis, de Mántaras RLópez.  2004.  Melodic Similarity: Looking for a Good Abstraction Level. ISMIR 2004: 5th International Conference on Music Information Retrieval. :210-215.
Grachten M, Arcos JLluis, de Mántaras RLópez.  2004.  Melodic Similarity: Looking for a Good Abstraction Level. ISMIR 2004: 5th International Conference on Music Information Retrieval. :210-215.
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.
Li CMin, Zhu Z, Manyà F, Simon L.  2011.  Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. :605-610.
Martin P-PGomez, Llanso D, Martin MAntonio Go, Ontañón S, Ram A.  2010.  MMPM: a Generic Platform for Case-Based Planning Research. In ICCBR 2010 workshop on CBR for Computer Games. :45-54.
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.
Robertson D, Barker A, Besana P, Bundy A, Chen-Burger Y-H, Dupplaw D, Giunchiglia F, van Harmelen F, Hassan F, Kotoulas S et al..  2008.  Models of Interaction as a Grounding for Peer-to-Peer Knowledge Sharing. LNCS Advances in Web Semantics.
Robertson D, Barker A, Besana P, Bundy A, Chen-Burger Y-H, Dupplaw D, Giunchiglia F, van Harmelen F, Hassan F, Kotoulas S et al..  2008.  Models of Interaction as a Grounding for Peer-to-Peer Knowledge Sharing. LNCS Advances in Web Semantics.
Giráldez-Cru J, Levy J.  2015.  A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15.
Levy J, Schmidt-Schauss M, Villaret M.  2004.  Monadic Second-Order Unifications is NP Complete. Lecture Notes in Computer Science. 3091:55-69.
Serramia M, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Morales J, Ansótegui C.  2018.  Moral Values in Norm Decision Making. International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).
Robles A, Noriega P, Luck M, Cantú F, Rodriguez F.  2006.  Multi Agent approach for the representation and execution of Medical Protocols. 4th Workshop on Agents Applied in Health Care. ECAI 2006. :11-16.
Campos J, López-Sánchez M, Esteva M.  2009.  Multi-Agent System adaptation in a Peer-to-Peer scenario. ACM Symposium on Applied Computing - Agreement Technologies Track. :735-739.
Ganzer-Ripoll J, López-Sánchez M, Rodríguez-Aguilar JA.  2017.  A multi-agent argumentation framework to support collective reasoning. COREDEMA 2016. 10238
López-Sánchez M, Noria X, Rodríguez-Aguilar JA, Gilbert N.  2005.  Multiagent based simulation on news digital markets. International journal of computer science and applications.. 2:7-14.
Sierra C, de Mántaras RLópez, Busquets D.  2001.  Multiagent bidding mechanisms for robot qualitative navigation. Lecture notes in artificial intelligence. 1986:198-212.
Chevaleyre Y., Dunne P.E, Endriss U., Lang J., Maudet N., Rodríguez-Aguilar JA.  2005.  Multiagent resource allocation. Knowledge engineering review. 20:143-149.
Chevaleyre Y., Dunne P.E, Endriss U., Lang J., Maudet N..  2006.  Multiagent Resource Allocation.. The Knowledge Engineering Review.
Armengol E, Plaza E.  2004.  Multiple-instance case-based learning for predictive toxicology. Lecture Notes in Computer Science. 3303:206-220.
N
Li CMin, Manyà F, Planes J.  2007.  New Inference Rules for Max-SAT. Journal of Artificial Intelligence Research. 30:321-359.
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.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2015.  Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15.
Levy J, Villaret M.  2008.  Nominal Unification from a Higher-Order Perspective. Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08. 5117:246-260.
Levy J, Villaret M.  2012.  Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. 13:10.
Schmidt-Schauß M, Kutsia T, Levy J, Villaret M.  2017.  Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. LNCS 10184:328-344.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2006.  Norm adaptation of autonomic electronic institutions with multiple goals. International Transactions on Systems Science and Applications. 1:227-238.
Campos J, López-Sánchez M, Esteva M.  2010.  Norm Adaptation using a Two-Level Multi-Agent System Architecture in a Peer-to-Peer Scenario. 9th workshop on Coordination, Organization, Institutions and Norms in multi-agent systems (COIN). :64-71.
Esteva M, Vasconcelos WW, Sierra C, Rodríguez-Aguilar JA.  2004.  Norm consistency in electronic institutions. XVII Brazilian Symposium on Artificial Intelligence - SBIA'04 LNAI 3171. :494-505.
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.