Export 304 results:
Author [ Title(Desc)] Type Year
Filters: 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 
B
Cebrián S, Morera N, Barceló JAnton, Bogdanovic I, López-Bultó O, Campana I, Palomo A, Piqué R, Revelles J, Terradas X et al..  2018.  Beyond the Virtual Reconstruction of an Archaeological Settlement. Computer Applications and Quantitative Methods in Archaeology (CAA) international conference.
Levy J, Agustí-Cullell J.  1996.  Bi-Rewrite Systems. Journal of Symbolic Computation. 22:279–314.
Levy J, Agustí-Cullell J.  1993.  Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. Proc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science. 4098:400-414.
C
Levy J.  1994.  The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica de Catalunya.
Bauters K, Liu W, Hong J, Sierra C, Godo L.  2014.  CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information. 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014). :52-61.
López B, Plaza E.  1997.  Case-based learning of plans and goal states in medical diagnosis. Artificial Intelligence in Medicine. 9:29-60.
López B, Plaza E.  1991.  Case-based Learning on Strategic Knowledge. Lecture Notes in Artificial Intelligence. 482:398-411.
Lamontagne L, Plaza E.  2014.  Case-Based Reasoning Research and Development - Proc. ICCBR-14. 8765
de Jonge D, Baarslag T, Aydoğan R, Jonker C, Fujita K, Ito T.  2019.  The Challenge of Negotiation in the Game of Diplomacy. Agreement Technologies 2018, Revised Selected Papers. :100–114.
Lemaitre C, Noriega P.  2016.  Characterising Polemical Disputes. 4TH INTERNATIONAL CONFERENCE ON AGREEMENT TECHNOLOGIES .
Flaminio T, Kroupa T.  2011.  Characterization of Generalized Necessity Functions in Lukasiewicz Logic. Nonlinear Mathematics for Uncertainty and Its Applications. 100:619–626.
Christiaanse R, Ghose A, Noriega P, Singh MP.  2014.  Characterizing Artificial Socio-Cognitive Technical Systems. European Conference on Social Intelligence (ECSI-2014). 1283:336-346.
Osman N, Sierra C, Schorlemmer M.  2013.  Charters for Self-Evolving Communities. 11th European Workshop on Multi-agent Systems (EUMAS 2013). 1113:112-123.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2015.  On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15.
Torra V, Ladra S.  2008.  Cluster-specific information loss measures in data privacy: a review. Proc. ARES 2008, PSAI Workshop. :994-999.
Fernández-Martínez JLuis, López-Sánchez M, Rodríguez-Aguilar JA, Sánchez-Rubio D, Nemegyei BZambrano.  2018.  CoDesigning Participatory Tools for a New Age: A Proposal for Combining Collective and Artificial Intelligences. International Journal of Public Administration in the Digital Age. 5(4):1-17.
Brito I, Gutierrez P, Hazelden K, de Jonge D, Lemus L, Osman N, Rosell B, Sierra C, Roig C.  2015.  Collaborative Peer Assessment using PeerLearn. Music Learning with Massive Open Online Courses (MOOCs). 6:145-174.
Ganzer-Ripoll J, Criado N, López-Sánchez M, Parsons S, Rodríguez-Aguilar JA.  2019.  Combining social choice theory and argumentation: Enabling collective decision making. Group Decision and Negotiation. 28(1):127-173.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2012.  Communicating open systems. Artificial Intelligence. 186:38-64.
d'Inverno M, Luck M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2013.  Communicating Open Systems: Extended Abstract. IJCAI 2013.
Ansótegui C, Giráldez-Cru J, Levy J.  2012.  The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12. 7317:410-423.
Lizárraga E, Blesa MJ, Blum C.  2017.  On the comparison of CMSA versus LNS for solving Combinatorial Optimization problems with different solution sizes. Metaheuristics International Conference (MIC). :676-678.
Campos J, López-Sánchez M, Esteva M, Pique N.  2010.  Comparison of Topologies in Peer-to-Peer Data Sharing Networks. 13th International Conference of the Catalan Association for Artificial Intelligence (CCIA10). 220:49-58.
Rodriguez I, Salamó M, López-Sánchez M, Cerquides J, Puig A, Sierra C.  2007.  Completing the Virtual Analogy of Real Institutions via iObjects. CCIA. :95-103.
Lizárraga E, Blesa MJ, Blum C.  2017.  Construct, Merge, Solve and Adapt Versus Large Neighborhood Search for Solving the Multi-dimensional Knapsack Problem: Which One Works Better When? EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization. 10197 (Lecture Notes in Computer Science):60--74.
Amatriain X, Bonada J, Loscos À, Arcos JLluis, Verfaille V.  2003.  Content-Based Transformations. Journal of New Music Research. 32:95-114.
Levy J, Villaret M.  2001.  Context unification and Traversal Equations. Lecture Notes in Computer Science. 2051:169-184.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M.  2014.  Conversational Structured Hybrid 3D Virtual Environments.
Campos J, López-Sánchez M, Esteva M.  2009.  Coordination Support in MAS. Eighth International Conference on Autonomous Agents and Multiagent Systems. :1301-1302.
Campos J, López-Sánchez M, Esteva M.  2009.  Coordination Support in MAS. 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09). :1301-1302.
Levy J, Villaret M.  2002.  Currying Second-Order Unification Problems. Lecture Notes in Computer Science. 2378:326-339.
D
Ramakrishnan R, Freytag J-C, Agrawal R, Bolliger T, Clifton CW, Dzeroski S, Hipp J, Keim D, Kramer S, Kriegel H-P et al..  2005.  Data mining: The next generation. Dagstuhl Seminar Proceedings. 4292
Ramakrishnan R, Freytag J-C, Agrawal R, Bolliger T, Clifton CW, Dzeroski S, Hipp J, Keim D, Kramer S, Kriegel H-P et al..  2005.  Data mining: The next generation. Dagstuhl Seminar Proceedings. 4292
Cerami M, Esteva F, Bou F.  2010.  Decidability of a Description Logic over infinite-valued Product Logic. 12th Conference on Principles of Knowledge Representation and Reasoning, KR 2010. :203-213.
Levy J.  1998.  Decidable and Undecidable Second-Order Unification Problems. Lecture Notes in Computer Science. 1379:47-60.
Bessière C, Boizumault P, de Givry S, Gutierrez P, Loudni S, Métivier J-P, Schiex T.  2011.  Decomposing Global Cost Functions. CP 2011 workshop: Preferences and Soft Constraints. :16-30.
Pont-Tuset J, Nin J, Medrano-Gracia P, Muntés-Mulero V, Larriba-Pey JLl..  2009.  Desemantization for Numerical Microdata Anonymization. Advances in Artificial Intelligence for Privacy Protection and Security. :81-115.
Li CMin, Manyà F, Planes J..  2006.  Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA. :86-91.
Martínez-Bazán N, Muntés-Mulero V, Gómez-Villamor S, Nin J, Sánchez-Martínez M, Larriba-Pey JLl..  2007.  DEX: High-Performance Exploration on Large Graphs for Information Retrieval. Proc. of 16th ACM Conference on Information and Knowledge Management (CIKM 2007). :573-582.
Almajano P, Bourazeri A, López-Sánchez M, Rodriguez I.  2013.  Digital game enables active user participation in SmartGrids. Awareness Magazine.
Fabregues A, López-Paz D, Sierra C.  2011.  DipTools: Experimental Data Visualization Tool for the DipGame Testbed (Demonstration). 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). :1315-1316.
Torra V, Domingo-Ferrer J.  2001.  Disclosure control methods and information loss for microdata. Confidentiality, disclosure, and data access : Theory and practical applications for statistical agencies. :91-110.
Trescak T, Sierra C, Simoff S, de Mántaras RLópez.  2014.  Dispute Resolution Using Argumentation-Based Mediation. European Conference on Social Intelligence (ECSI-2014). :274–285.
Navarro-Arribas G, Abril D, Torra V.  2014.  Dynamic anonymous index for confidential data. Data Privacy Management and Autonomous Spontaneous Security. :362–368.
Billhardt H, Fernandez A, Lemus L, Lujak M, Osman N, Ossowski S, Sierra C.  2014.  Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. Intelligent Systems. 29:70-76.
Billhardt H, Fernandez A, Lemus L, Lujak M, Osman N, Ossowski S, Sierra C.  2014.  Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. Intelligent Systems. 29:70-76.