CSIC

Esteu aquí

Inici

Bibliography

Export 304 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 
S
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
López-Sánchez M, Noria X, Rodríguez-Aguilar JA, Gilbert N, Schuster S.  2004.  Simulation of digital content distribution using a multi-agent simulation approach. Recent Advances in Artificial Intelligence Research and Development. :341-348.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. 5584:427-440.
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.
Ansótegui C, Bonet MLuisa, Levy J.  2010.  On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Stratified Context Unification is NP-complete. Lecture Notes in Computer Science. 4130:82-96.
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.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M, Puig A.  2013.  Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability. 8th International Conference on Computer Graphics Theory and Applications. :288-297.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Synthesising Liberal Normative Systems.
T
Ganzer-Ripoll J, López-Sánchez M, Rodríguez-Aguilar JA.  2016.  A target-oriented discussion framework to support collective decision making. Proceedings of the International Conference on Agreement Technologies.
Ganzer-Ripoll J, López-Sánchez M, Rodríguez-Aguilar JA.  2017.  A target-oriented discussion framework to support collective decision making. Multi-Agent Systems and Agreement Technologies. 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers. Lecture Notes in Artificial Intelligence
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
Flaminio T, Hosni H.  2012.  The epistemic structure of de Finetti's betting problem. 9th Italian Convention on Computational Logic (CILC 2012). 857:241–245.
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.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07. :32-37.
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.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R, Cranefield S, Dignum F, Eynard D, Farcas E, Fornara N et al..  2013.  The uses of norms. Normative Multi-Agent Systems. :191–229.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.
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 E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Towards self-configuration in autonomic electronic institutions. Lecture Notes in Computer Science. 4386:229-244.
Argerlich J., Domingo X, Li CMin, Manyà F, Planes J..  2006.  Towards Solving Many-Valued MaxSAT. Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore.
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.
Li CMin, Manyà F, Mohamedou NO, Planes J.  2008.  Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 14th International Conference on Principles and Practice of Constraint Programming (CP-2008). 5202:582-587.
Meseguer P, Sánchez M, Larrosa J.  2005.  Tree decomposition with function filtering. Lecture Notes in Computer Science. 3709:593-606.
U
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
Sanchez-Pinsach D, Arcos JLluis, Laxe S, Bernabeu M, Tormos JMaria.  2017.  Using community detection techniques to disc over non-explicit relationships in neurorehabilitation treatments. 20th International Conference of the Catalan Association for Artificial Intelligence. 300:26-35.
Ansótegui C, Giráldez-Cru J, Levy J, Simon L.  2015.  Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15.
Musavi A, López-Sánchez M, Campos J, Esteva M.  2008.  Using Electronic Institutions for Hospitals Chronic Disease Management and Purchasing System. Artificial Intelligence Research and Development, (CCIA 08). 184:80-86.
Ashri R, Payne T, Luck M, Surridge M, Sierra C, Rodríguez-Aguilar JA.  2006.  Using electronic Institutions to Secure Grid Environments. Lecture Notes in Computer Science. :461-475.
Morales J, López-Sánchez M, Esteva M.  2011.  Using Experience to Generate New Regulations. :307-312.
Arcos JLluis, Mulayim O, Leake D.  2011.  Using introspective reasoning to improve CBR system performance. Metareasoning: Thinking about Thinking. :167-182.
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
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.
Robles A, Noriega P, Luck M, Cantú F.  2006.  Using MAS technologies for intelligent organizations: a report of bottom-up results. Lecture notes in computer science. Lecture notes on Artificial Intelligence. 4293:1116-1127.
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.
Armengol E, Plaza E.  2005.  Using Symbolic Descriptions to Explain Similarity on CBR. Artificial intelligence research and development (CCIA-2005). :239-246.
V
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2012.  v-mWater: a 3D Virtual Market for Water Rights. AAMAS '12: Proceedings of the 11th internationalconference on autonomous agents and multiagent systems. :1483-1484.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2013.  v-mWater: An e-Government Application for Water Rights Agreements. Agreement Technologies (Law, Governance and Technology Series). 8:583-596.
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.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2011.  Virtual Institutions For Water Rights Negotiation.
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.
W
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.