ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs
| Title: | ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs |
|---|---|
| Authors: | Lima, GuilhermeAff9; Rademaker, AlexandreAff9, Aff10; Uceda-Sosa, RosarioAff11 |
| Contributors: | Goos, Gerhard, Founding EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Yung, Moti, Editorial Board MemberAff6; Barbosa, Haniel, editorAff7; Zohar, Yoni, editorAff8 |
| Source: | Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings. 14414:55-71 |
| Database: | Springer Nature eBooks |