ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs

Downloads:

• No text available
• No slides available

BibTeX:

@inproceedings{sbmf-2023,
  author = {Lima, Guilherme and Rademaker, Alexandre and Uceda-Sosa, Rosario},
  editor = {Barbosa, Haniel and Zohar, Yoni},
  title = {ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs},
  booktitle = {Formal Methods: Foundations and Applications},
  year = {2023},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {55--71},
  isbn = {978-3-031-49342-3},
  url = {https://doi.org/10.1007/978-3-031-49342-3_4}
}