Export 59 results:
[ Autor(Asc)] Título Tipo Año
Filtros: 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 
L
López-Sánchez M, de Mántaras RLópez, Sierra C.  1999.  Generation and Extension of Maps obtained by autonomous robots. EUSFLAT'99. :295-298.
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.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1997.  Incremental map generation by low cost robots based on possibility/necessity grids. 13th Conference on uncertainty in AI. :351-357.
López-Sánchez M, de Mántaras RLópez, Sierra C.  1999.  Map Generation by means of autonomous robots and possibility propagation techniques. Third International conference on Autonomous Agents. :380-381.
López-Sánchez M, Serramia M, Rodríguez-Aguilar JA, Morales J, Wooldridge M.  2017.  Automating decision making to help establish norm-based regulations. CoRR. abs/1703.09087
López-Sánchez M, Serramia M, Rodríguez-Aguilar JA, Morales J, Wooldridge M.  2017.  Automating decision making to help establish norm-based regulations. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. :1613-1615.
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.
López-Sánchez M, Serramia M, Rodríguez-Aguilar JA, Morales J, Wooldridge M, Ansótegui C.  2018.  Exploiting moral values to choose the right norms. AAAI/ACM Conference on Artificial Intelligence, Ethics and Society.
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.
López-Sánchez M, de Mántaras RLópez, Sierra C.  2001.  Map generation by co-operative autonomous robots using possibility theory. STUDIES IN FUZZINESS AND SOFT COMPUTING: Fuzzy Logic Techniques for Autonomous Vehicle Navigation.. :281-312.
López B, Plaza E.  1991.  Case-based Learning on Strategic Knowledge. Lecture Notes in Artificial Intelligence. 482:398-411.
López B, Meseguer P, Plaza E.  1990.  Knowledge -Based Systems Validation: A State of the Art. AI Communications. 3:58-72.
López B, Plaza E.  1997.  Case-based learning of plans and goal states in medical diagnosis. Artificial Intelligence in Medicine. 9:29-60.
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.
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.
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.
Li CMin, Manyà F.  2009.  MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. 185:613-631.
Li CMin, Manyà F, Quan Z, Zhu Z.  2010.  Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT). 6175:363-368.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2009.  Exploiting Cycle Structures in Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). 5584:467-480.
Li CMin, Zhu Z, Manyà F, Simon L.  2011.  Minimum Satisfiability and Its Applications. 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. :605-610.
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
Li CMin, Manyà F, Planes J..  2005.  Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max SAT Solvers. Lecture Notes in Computer Science. 3571:403-414.
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.
Li CMin, Manyà F, Planes J.  2007.  New Inference Rules for Max-SAT. Journal of Artificial Intelligence Research. 30:321-359.
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.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2010.  Resolution-Based Lower Bounds in MaxSAT. Constraints. 15:29.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science. 4098:400-414.
Levy J, Villaret M.  2010.  An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010. :209-226.
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
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, 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.
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
Levy J, Villaret M.  2012.  Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. 13:10.
Levy J, Schmidt-Schauss M, Villaret M.  2004.  Monadic Second-Order Unifications is NP Complete. Lecture Notes in Computer Science. 3091:55-69.
Levy J, Niehren J, Villaret M.  2005.  Well-Nested Context Unification. Lecture Notes in Artificial Intelligence. 3632:149-163.
Levy J.  1998.  Decidable and Undecidable Second-Order Unification Problems. Lecture Notes in Computer Science. 1379:47-60.
Levy J.  1994.  The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica de Catalunya.
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
Levy J, Villaret M.  2000.  Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Lecture Notes in Computer Science. 1833:156-171.
Levy J, Agustí-Cullell J.  1992.  Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems. Lecture Notes in Computer Science. 785:252-267.
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.
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, Villaret M.  2001.  Context unification and Traversal Equations. Lecture Notes in Computer Science. 2051:169-184.
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.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Stratified Context Unification is NP-complete. Lecture Notes in Computer Science. 4130:82-96.
Levy J, Agustí-Cullell J.  1996.  Bi-Rewrite Systems. Journal of Symbolic Computation. 22:279–314.
Levy J, Villaret M.  2002.  Currying Second-Order Unification Problems. Lecture Notes in Computer Science. 2378:326-339.
Levy J.  1996.  Linear Second Order Unification. Lecture Notes in Computer Science. 1103:332-346.
Lemaitre C, Noriega P.  2015.  Making sense out of polemics. Twelfth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2015).
Lemaitre C, Noriega P.  2016.  Characterising Polemical Disputes. 4TH INTERNATIONAL CONFERENCE ON AGREEMENT TECHNOLOGIES .