Export 304 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Conference Paper
Morales J, Wooldridge M, Rodríguez-Aguilar JA, López-Sánchez M.  2017.  Evolutionary Synthesis of Stable Normative Systems. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. :1646-1648.
Li CMin, Manyà F, Quan Z, Zhu Z.  2010.  Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT). 6175:363-368.
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.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2009.  Exploiting Cycle Structures in Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). 5584:467-480.
López-Sánchez M, Serramia M, Rodríguez-Aguilar JA, Morales J, Wooldridge M, Ansótegui C.  2018.  Exploiting moral values to choose the right norms. AAAI/ACM Conference on Artificial Intelligence, Ethics and Society.
Li CMin, Manyà F, Planes J..  2005.  Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max SAT Solvers. Lecture Notes in Computer Science. 3571:403-414.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1993.  Expressing Program Requirements Using Refinement Lattices. Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93.
Gaertner D, Noriega P, Sierra C.  2006.  Extending the BDI architecture with commitments. Frontiers in Artificial Intelligence and Applications. :247-257.
Allouche D, Bessière C, Boizumault P, de Givry S, Gutierrez P, Loudni S, Métivier J-P, Schiex T.  2012.  Filtering Decomposable Global Cost Functions. 26th AAAI Conference on Artificial Intelligence (AAAI 2012).
Campos J, López-Sánchez M, Rodríguez-Aguilar JA, Esteva M.  2008.  Formalising Situatedness and Adaptation in Electronic Institutions. The Fifth Workshop on Coordination, Organizations,Institutions, and Norms in Agent Systems. :103-117.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2014.  The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14.
Torra V, Lanau S, Miyamoto S.  2003.  Fuzzy clustering for indexing in the GAMBAL information retrieval system. Third Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2003. :54-58.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1999.  Generation and Extension of Maps obtained by autonomous robots. EUSFLAT'99. :295-298.
de Mántaras RLópez, Amat J, Esteva F, López-Sánchez M, Sierra C.  1997.  Generation of unknown environment maps by cooperative low-cost robots. 1srt. International Conference on Autonomous Agents. :164-169.
Casali A, Godo L, Sierra C.  2004.  Graded BDI models for agent architectures. Computational logic in multiagent systems. Fitth international workshop, CLIMA V. Pre-proceedings. :18-33.
Casali A, Godo L, Sierra C.  2005.  Graded BDI Models for Agent Architectures. Lecture Notes in Computer Science. 3487:126-143.
Murillo J, Abril D, Torra V.  2012.  Heuristic Supervised Approach for Record Linkage. Modeling Decisions for Artificial Intelligence (MDAI). 7647:210-221.
Levy J, Agustí-Cullell J.  1992.  Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems. Lecture Notes in Computer Science. 785:252-267.
Pont-Tuset J, Nin J, Medrano-Gracia P, Muntés-Mulero V, Larriba-Pey JLl..  2008.  Improving Microaggregation for Complex Record Anonymization. Modeling Decisions for Artificial Intelligence. 5285:215-226.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2012.  Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12. 7514:86-101.
Sánchez M, Meseguer P, Larrosa J.  2004.  Improving the applicability of adaptive consistency : preliminary results. Lecture notes in computer science. 3258:757-761.
Meseguer P, Larrosa J, Sánchez M.  2005.  Improving Tree decomposition methods with function fuction filtering. Nineteenth International Joint Conference on Artificial Intelligence. Edinburgh, Scotland. IJCAI-05. :1537-1538.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2013.  Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13.
Chen Y, Hong J, Liu W, Godo L, Sierra C, Loughlin M.  2013.  Incorporating PGMs into a BDI Architecture. 16th Intl. Conf. on Principles and Practice of Multi-Agent Systems (PRIMA 2013). 8291:54-69.
Chen Y, Hong J, Liu W, Godo L, Sierra C, Loughlin M.  2013.  Incorporating PGMs into a BDI Architecture. 16th Intl. Conf. on Principles and Practice of Multi-Agent Systems (PRIMA 2013). 8291:54-69.
Nin J, Pont-Tuset J, Medrano-Gracia P, Larriba-Pey JLl., Muntés-Mulero V.  2007.  Increasing Polynomial Regression Complexity for Data Anonymization. Proc. of The IEEE 2007 International Conference on Intelligent Pervasive. :29-34.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1997.  Incremental map generation by low cost robots based on possibility/necessity grids. 13th Conference on uncertainty in AI. :351-357.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07. :167-172.
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.
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.
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.  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.
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.
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.
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).