Export 304 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Journal Article
Almajano P, López-Sánchez M, Rodriguez I, Mayas E.  2015.  Including Conversational Agents into Structured Hybrid 3D Virtual Environments. IEEE Latin America Transactions. 13:523-531.
Ladra S, Torra V.  2010.  Information loss for synthetic data through fuzzy clustering. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems. 18:25-37.
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ópez B, Meseguer P, Plaza E.  1990.  Knowledge -Based Systems Validation: A State of the Art. AI Communications. 3:58-72.
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.
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.
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.
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.
Li CMin, Manyà F, Planes J.  2007.  New Inference Rules for Max-SAT. Journal of Artificial Intelligence Research. 30:321-359.
Levy J, Villaret M.  2012.  Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. 13:10.
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.
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.
Atserias A, Bonet MLuisa, Levy J.  2003.  On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity. 41:12.
Bessière C, Meseguer P, Freuder EC, Larrosa J.  2002.  On foward checking for non-binary constraint satisfaction. Artificial Intelligence. 141:205-224.
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.
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.
Kutsia T, Levy J, Villaret M.  2010.  On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45:74-95.
Torra V, Lv Z..  2009.  On the WOWA operator and its interpolation function. International journal of intelligent systems. 24:1039-1056.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
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.
Larrosa J, Meseguer P.  2002.  Partition-Based Lower Bound for Max-CSP. Constraints Journal. 7:407-419.
Bridge D, Lamontagne L, Plaza E.  2015.  Report on the Twenty-Second International Conference on Case-Based Reasoning. AI Magazine. 36:88-89.
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2010.  Resolution-Based Lower Bounds in MaxSAT. Constraints. 15:29.
Larrosa J, Meseguer P.  2003.  Restricciones blandas : Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Otoño/2003:69-81.
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.
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.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
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.
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
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.
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
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.
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.
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
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.
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.
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
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.
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.
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.