共 50 条
- [42] STYPES: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS (OTM 2018), PT II, 2018, 11230 : 441 - 460
- [44] Preference-Based Query Answering in Probabilistic Datalog plus /- Ontologies ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 CONFERENCES, 2013, 8185 : 501 - 518
- [45] Query Answering in Probabilistic Datalog plus /- Ontologies under Group Preferences 2013 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 1, 2013, : 171 - 178
- [46] Computing the Why-Provenance for Datalog Queries via SAT Solvers THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10459 - 10466
- [48] Selective Provenance for Datalog Programs Using Top-K Queries PROCEEDINGS OF THE VLDB ENDOWMENT, 2015, 8 (12): : 1394 - 1405
- [49] SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog PROCEEDINGS OF THE VLDB ENDOWMENT, 2023, 16 (13): : 4240 - 4253
- [50] Efficient provenance tracking for datalog using top-k queries The VLDB Journal, 2018, 27 : 245 - 269