Export 304 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Journal Article
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.
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.
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.
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
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.
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
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.
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.
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2017.  Structure features for SAT instances classification. Journal of Applied Logic. 23:27–39.
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
de Givry S, Larrosa J, Meseguer P, Schiex T.  2003.  Solving Max-SAT as Weighted CSP. Principles and Practice of Constraint Programming - CP 2003. LNCS 2833:363-376.
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
Campos J, López-Sánchez M, Salamó M, Avila P, Rodríguez-Aguilar JA.  2013.  Robust regulation adaptation in multi-agent systems. ACM Transactions on Autonomous and Adaptive Systems. 8:1-27.
de Mántaras RLópez, McSherry D, Bridge D, Leake D, Smyth B, Craw S, Faltings B, Maher M-L, Cox M, Forbus K et al..  2006.  Retrieval, Reuse, Revision, and Retention in CBR. The Knowledge Engineering Review. 20:215-240.
Larrosa J, Meseguer P.  2003.  Restricciones blandas : Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Otoño/2003:69-81.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2010.  Resolution-Based Lower Bounds in MaxSAT. Constraints. 15:29.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.
Bridge D, Lamontagne L, Plaza E.  2015.  Report on the Twenty-Second International Conference on Case-Based Reasoning. AI Magazine. 36:88-89.
Larrosa J, Meseguer P.  2002.  Partition-Based Lower Bound for Max-CSP. Constraints Journal. 7:407-419.
Campos J, Esteva M, López-Sánchez M, Morales J, Salamó M.  2011.  Organisational adaptation of multi-agent systems in a peer-to-peer scenario. Computing. 91:169-215.
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Torra V, Lv Z..  2009.  On the WOWA operator and its interpolation function. International journal of intelligent systems. 24:1039-1056.
Kutsia T, Levy J, Villaret M.  2010.  On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45:74-95.
Levy J, Schmidt-Schauss M, Villaret M.  2011.  On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL. 19:763-789.
Levy J, Schmidt-Schauss M, Villaret M.  2009.  On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic.
Bou F, Paoli F, Ledda A, Freytes H.  2008.  On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing. 12:341-352.
Bessière C, Meseguer P, Freuder EC, Larrosa J.  2002.  On foward checking for non-binary constraint satisfaction. Artificial Intelligence. 141:205-224.
Atserias A, Bonet MLuisa, Levy J.  2003.  On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity. 41:12.
Morales J, Wooldridge M, Rodríguez-Aguilar JA, López-Sánchez M.  2018.  Off-line Synthesis of Evolutionarily Stable Normative Systems. Autonomous Agents and Multi-agent Systems. 32:635-671.
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.
Levy J, Villaret M.  2012.  Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. 13:10.
Li CMin, Manyà F, Planes J.  2007.  New Inference Rules for Max-SAT. Journal of Artificial Intelligence Research. 30:321-359.
Chevaleyre Y., Dunne P.E, Endriss U., Lang J., Maudet N..  2006.  Multiagent Resource Allocation.. The Knowledge Engineering Review.
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.
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.
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.
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.
López B, Meseguer P, Plaza E.  1990.  Knowledge -Based Systems Validation: A State of the Art. AI Communications. 3:58-72.