Instituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (5)

2021

  1. Symbolic AI for XAI: Evaluating LFIT inductive programming for explaining biases in machine learning

    Computers, Vol. 10, Núm. 11

2015

  1. Two decades of Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

2009

  1. Type-based homeomorphic embedding for online termination

    Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886

  2. Unification and narrowing in maude 2.4

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)