Author:
Esparza Javier,Luttenberger Michael,Schlund Maximilian
Publisher
Springer International Publishing
Reference18 articles.
1. Goblint,
http://goblint.in.tum.de/
2. WALi: The Weighted Automata Library,
https://research.cs.wisc.edu/wpis/wpds/
3. Weighted Pushdown Systems Library,
http://www2.informatik.uni-stuttgart.de/fmi/szs/tools/wpds/
4. Apinis, K., Seidl, H., Vojdani, V.: How to combine widening and narrowing for non-monotonic systems of equations. In: Boehm, H.J., Flanagan, C. (eds.) PLDI, pp. 377–386. ACM (2013)
5. Lecture Notes in Computer Science;A. Bouajjani,2008
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Complexity of Why-Provenance for Datalog Queries;Proceedings of the ACM on Management of Data;2024-05-10
2. The ScalaFix Equation Solver;Formal Methods;2023
3. Efficient provenance-aware querying of graph databases with datalog;Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA);2022-06-12
4. An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog;Rules and Reasoning;2022
5. kProbLog: an algebraic Prolog for machine learning;Machine Learning;2017-10-23