Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Fifty Years of Prolog and Beyond | Theory and Practice of Logic Programming |
| 2022 | |
VLog: A Rule Engine for Knowledge Graphs | 2019 | |||
The Vadalog system | Proceedings of the VLDB Endowment |
| 27 | 2018 |
The ASP System DLV2 | 2017 | |||
Soufflé: On Synthesis of Program Analyzers | 2016 |