@inproceedings{kimura-etal-2021-neuro,
    title = "Neuro-Symbolic Reinforcement Learning with First-Order Logic",
    author = "Kimura, Daiki  and
      Ono, Masaki  and
      Chaudhury, Subhajit  and
      Kohita, Ryosuke  and
      Wachi, Akifumi  and
      Agravante, Don Joven  and
      Tatsubori, Michiaki  and
      Munawar, Asim  and
      Gray, Alexander",
    editor = "Moens, Marie-Francine  and
      Huang, Xuanjing  and
      Specia, Lucia  and
      Yih, Scott Wen-tau",
    booktitle = "Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2021",
    address = "Online and Punta Cana, Dominican Republic",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2021.emnlp-main.283/",
    doi = "10.18653/v1/2021.emnlp-main.283",
    pages = "3505--3511"
}