Cited By
View all- Heuer JWernhard C(2024)Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order LogicAutomated Reasoning10.1007/978-3-031-63498-7_11(172-193)Online publication date: 1-Jul-2024
- Benedikt MPradic CWernhard CGeerts FNgo HSintos S(2023)Synthesizing Nested Relational Queries from Implicit SpecificationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588653(33-45)Online publication date: 18-Jun-2023
- Pei J(2022)A Survey on Data Pricing: From Economics to Data ScienceIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2020.304592734:10(4586-4608)Online publication date: 1-Oct-2022
- Show More Cited By