Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming

von Chan, Sheung Chi
Veröffentlicht in PADL (22. : 2020 : New Orleans, La.) Practical aspects of declarative languages (2020)

EXPRESSIVENESS BENCHMARKING FOR SYSTEM-LEVEL PROVENANCE

von Chan, Sheung Chi
Veröffentlicht in USENIX Workshop on the Theory and Practice of Provenance (9. : 2017 : Seattle, Wash.) 9th International Workshop on Theory and Practice of Provenance (TaPP'17) (2020)