Jackermeier, Mathias
- 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
- 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)