The “Hamming problem” in Prolog
ACM SIGPLAN Notices
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Active Deductive Databases: The Statelog Approach
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Reasoning on regular path queries
ACM SIGMOD Record
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Provenance and scientific workflows: challenges and opportunities
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Provenance in Databases: Why, How, and Where
Foundations and Trends in Databases
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Prospective and Retrospective Provenance Collection in Scientific Workflow Environments
SCC '10 Proceedings of the 2010 IEEE International Conference on Services Computing
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Declaratively processing provenance metadata
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
D-PROV: extending the PROV provenance model with workflow structure
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Declaratively processing provenance metadata
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
D-PROV: extending the PROV provenance model with workflow structure
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Hi-index | 0.00 |