Export 2135 results:
[ Autor(Asc)] Título Tipo Año
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
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.  1994.  The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica de Catalunya.
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, Schmidt-Schauss M, Villaret M.  2004.  Monadic Second-Order Unifications is NP Complete. Lecture Notes in Computer Science. 3091:55-69.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Stratified Context Unification is NP-complete. Lecture Notes in Computer Science. 4130:82-96.
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.  1996.  Linear Second Order Unification. Lecture Notes in Computer Science. 1103:332-346.
Levy J, Villaret M.  2012.  Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. 13:10.
Levy J, Veanes M.  2000.  On the Undecidability of Second-Order Unification. Information and Computation. 159:125–150.
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, Niehren J, Villaret M.  2005.  Well-Nested Context Unification. Lecture Notes in Artificial Intelligence. 3632:149-163.
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.
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.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
Levy J, Schmidt-Schauss M, Villaret M.  2008.  The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38:1113-1140.
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.
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 .
Larrosa J, Meseguer P.  2003.  Algoritmos para satisfacción de Restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Otoño 2003:31-42.
Larrosa J, Meseguer P.  1995.  Optimization-based heuristics for maximal constraint satisfaction. Lecture notes in computer science. 976:103-120.
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.
Larrosa J, Meseguer P.  2002.  Partition-Based Lower Bound for Max-CSP. Constraints Journal. 7:407-419.
Larrosa J, Meseguer P.  2003.  Restricciones blandas : Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Otoño/2003:69-81.
Lamontagne L, Plaza E.  2014.  Case-Based Reasoning Research and Development - Proc. ICCBR-14. 8765
Ladra S, Torra V.  2008.  On the comparison of generic information loss measures and cluster-specific ones. Int. J. of Unc., Fuzziness and Knowledge Based Systems. 16:107-120.
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.
Lacostena JRoca, Cerquides J.  2013.  Generalizing Semiring induced Valuation Algebras. :40.
K
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.
Kutsia T, Levy J, Villaret M.  2014.  Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52:155-190.
Kutsia T, Levy J, Villaret M.  2010.  On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45:74-95.
Kutsia T, Levy J, Villaret M.  2011.  Anti-Unification for Unranked Terms and Hedges. Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11. 10:219-234.
Koster A, Sabater-Mir J., Schorlemmer M.  2010.  Inductively Generated Trust Alignments based on Shared Interactions. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). :1571-1572.
Koster A, Sabater-Mir J., Schorlemmer M.  2012.  Personalizing Communication about Trust. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 1:517-524.
Koster A, Sabater-Mir J., Schorlemmer M.  2013.  Argumentation and Trust. Agreement Technologies (Law, Governance and Technology Series). 8:441-452.
Koster A, Schorlemmer M.  2009.  An Interaction-oriented Model of Trust Alignment. Seventh European Workshop on Multi-Agent Systems (EUMAS09).
Koster A, Sabater-Mir J., Schorlemmer M.  2011.  Trust Alignment: a Sine Qua Non of Open Multi-Agent Systems. On the Move to Meaningful Internet Systems: OTM 2011.. 7044:182-199.
Koster A, Sabater-Mir J., Schorlemmer M.  2012.  A Formal Argumentation Dialogue for Personalised Trust Communication. 15th International Workshop on Trust in Agent Societies (TRUST12).
Koster A., Sabater-Mir J., Schorlemmer M..  2013.  Agreement Technologies. Law, Governance and Technology. 8:441–452.
Koster A, Sabater-Mir J., Schorlemmer M.  2009.  Towards an inductive algorithm for learning trust alignment. Student Session - European Agent Systems Summer School. 47:5-11.
Koster A, Madrenas J, Osman N, Schorlemmer M, Sabater-Mir J., Sierra C, Fabregues A, de Jonge D, Puyol-Gruart J, García P.  2013.  u-Help: supporting helpful communities with information technology. AAMAS 2013.
Koster A, Sabater-Mir J., Schorlemmer M.  2009.  An Interaction-oriented Model of Trust Alignment. 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009. :655-664.
Koster A, Schorlemmer M, Sabater-Mir J..  2012.  Engineering trust alignment: Theory, method and experimentation. International Journal of Human-Computer Studies. 70:450-473.
Koster A, Sabater-Mir J., Schorlemmer M.  2010.  Engineering Trust Alignment: a First Approach. 13th Workshop on Trust in Agents Societies at AAMAS 2010.
Koster A, Sabater-Mir J., Schorlemmer M.  2009.  A Formalization of Trust Alignment. Artificial Intelligence Research and Development. Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence. 202:169-178.
Koster A, Madrenas J, Osman N, Schorlemmer M, Sabater-Mir J., Sierra C, de Jonge D, Fabregues A, Puyol-Gruart J, García P.  2012.  u-Help: supporting helpful communities with information technology. Proceedings of the First International Conference on Agreement Technologies (AT 2012). 918:378-392.
Koster A.  2010.  Why does trust need aligning? 13th Workshop on Trust in Agents Societies at AAMAS 2010. :125-136.
Koster A, Schorlemmer M, Sabater-Mir J..  2013.  Opening the black box of trust: reasoning about trust models in a BDI agent. Journal of Logic and Computation. 23:25-58.
Koster A, Sabater-Mir J., Schorlemmer M.  2011.  Talking about Trust in Heterogeneous Multi-Agent Systems. IJCAI 2011. :2820-2821.