vix.ing · top · new · best · stats · spec

Jackermeier, Mathias

  1. DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
    2024/10/06 by Mathias Jackermeier, Jackermeier, Mathias, Alessandro Abate +1 · 7 citations
    Computer Science · #Natural Language Processing Techniques
  2. Dual Box Embeddings for the Description Logic EL++
    2023/01/26 by Jackermeier, Mathias, Chen, Jiaoyan, Horrocks, Ian · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)