Export 304 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
Conference Paper
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.
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.
Armengol E, Plaza E.  2004.  Multiple-instance case-based learning for predictive toxicology. Lecture Notes in Computer Science. 3303:206-220.
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.
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.
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.
Pujol-Gonzalez M, Cerquides J, Escalada-Imaz G, Meseguer P, Rodríguez-Aguilar JA.  2013.  On Binary Max-Sum and Tractable HOPs. 11th European Workshop on Multi-agent Systems (EUMAS 2013). 1113
Narukawa Y, Torra V.  2005.  On multidimensional distorded probability. Fuzzy logic, soft computing and computational intelligence. Eleventh International Fuzzy systems association world congress. July 28-31, 2005, Beijing, China. IFSA Congress. 3 vol.. :427-431.
Cignoli R, Esteva F, Godo L, Noguera C.  2005.  On product fuzzy logic with truth-constants. Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005. :1244-1249.
Ansótegui C, Levy J.  2011.  On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11. 232:11-20.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.
Nin J, Muntés-Mulero V, Martínez-Bazán N, Larriba-Pey JLl..  2007.  On the Use of Semantic Blocking Techniques for Data Cleansing and Integration. Proc. of IEEE Eleventh International Database Engineering and Applications Symposium. :190-198.
Levy J, Veanes M.  1998.  On Unification Problems in Restricted Second-Order Languages. Annual Conference of the European Association for Computer Science Logic, CSL'98.
Pont-Tuset J, Medrano-Gracia P, Nin J, Muntés-Mulero V, Larriba-Pey JLl..  2008.  ONN the use of Neural Networks for Data Privacy. Lecture Notes in Artificial Intelligence. 4910:634-645.
Robertson D, Giunchiglia F, van Harmelen F, Marchese M, Sabou M, Schorlemmer M, shadbolt nigel, Siebes R, Sierra C, Walton C et al..  2008.  Open Knowledge - Coordinating Knowledge Sharing through Peer-to-Peer Interaction. Languages, Methodologies and Development Tools for Multi-Agent Systems. First InternationalWorkshop, LADS 2007. Revised Selected and Invited Papers. 5118:1-18.
Larrosa J, Meseguer P.  1995.  Optimization-based heuristics for maximal constraint satisfaction. Lecture notes in computer science. 976:103-120.
Guisado-Gámez J, Prat-Pérez A, Nin J, Muntés-Mulero V, Larriba-Pey JLl..  2008.  Parallelizing Record Linkage for Disclosure Risk Assessment. Privacy in Statistical Databases. 5285:190-202.
Arcos JLluis, de Mántaras RLópez.  1997.  Perspectives: a declarative bias mechanism for case retrieval. Lecture Notes in Artificial Intelligence. 1266:279-290.
Ma J, Liu W, Godo L, Sierra C.  2014.  Plan Selection for Probabilistic BDI Agents. 26th IEEE International Conference on Tools with Artificial Intelligence. :83-90.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1998.  Possibility theory-based environment modelling by means of behaviour-based autonomous robots. European Conference on Artificial Intelligence. ECAI 98. :222-229.
Bauters K, McAreavey K, Hong J, Chen Y, Liu W, Godo L, Sierra C.  2014.  Probabilistic Planning in AgentSpeak using the POMDP framework. 4th Intl. Workshop on Combinations of Intelligent Methods and Applications (CIMA'14), extended version. :18p.
Larrosa J, Meseguer P, Sánchez M.  2002.  Pseudo-Tree Search with Soft Constraints. Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02. :131-135.
Ansótegui C, Bonet MLuisa, Levy J.  2008.  Random SAT Instances à la Carte. Proc. of the 11th Int. Conf. of the ACIA, CCIA'08. 184:109-117.
Zhu J, Ontañón S, Lewter B.  2011.  Representing Game Characters' Inner Worlds through Narrative Perspectives. Foundations of Digital Games.
Morera N, Piqué R, Barceló JAnton, Bogdanovic I, López-Bultó O, Campana I, Palomo A, Revelles J, Terradas X, Arcos JLluis et al..  2017.  The role of the archaeologist when producing a serious game. 23rd Annual Meeting of the European Association of Archaeologists.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Self-adaptation in Autonomic Electronic Institutions through Case-Based Reasoning. Proceedings of the Multi-Agents for modelling Complex Systems (MA4CS). Satellite Workshop of the European Conference on Complex Systems 2007 (ECCS'07). :ToappearasLectureNotesinComputerScience.
Nin J, Muntés-Mulero V, Martínez-Bazán N, Larriba-Pey JLl..  2007.  Semantic blocking for Record Linkage. Proc. del desé Congrés Internacional de l'Associació Catalana d'Intel·ligència Artificial. :141-149.
Kutsia T, Levy J, Villaret M.  2007.  Sequence Unification Through Currying. Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07. 4533:288-302.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2009.  Sequential Encodings from Max-CSP into Partial Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). LNCS 5584:161-166.
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.
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.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Stratified Context Unification is NP-complete. Lecture Notes in Computer Science. 4130:82-96.
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.
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.
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.
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.
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.
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.
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.
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.
Arcos JLluis, Mulayim O, Leake D.  2008.  Using Introspective Reasoning to Improve CBR System Performance. AAAI Metareasoning Workshop. :21-28.
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.
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.