Author:
Bellomarini Luigi,Blasi Livia,Nissl Markus,Sallinger Emanuel
Publisher
Springer International Publishing
Reference35 articles.
1. The Temporal Vadalog System: Appendix. http://shorturl.at/biGR8
2. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993)
3. Bellomarini, L., et al.: Reasoning on company takeovers during the COVID-19 crisis with knowledge graphs. In: RuleML+RR (Supplement), vol. 2644, pp. 145–156 (2020)
4. Bellomarini, L., Benedetto, D., Gottlob, G., Sallinger, E.: Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Inf. Syst. 101528 (2020)
5. Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: IJCAI (2017)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stream reasoning with DatalogMTL;Journal of Web Semantics;2023-04
2. Vadalog: Overview, Extensions and Business Applications;Reasoning Web. Causality, Explanations and Declarative Knowledge;2023