ºÝºÝߣ

provenance scientific workflows reproducibility datalog workflows workflow logic programming data curation game theory answer set programming database theory formal argumentation databases knowledge representation yesworkflow data cleaning taxonomy biodiversity informatics provenance scripting scripting reasoning scripts data science jupyter data quality negation relational queries whole-tale updates query languages programming semantic mediation ontologies provenance scripting workflows databases data integration deductive databases yesworflow data sharing data federation kurator kepler skope euler taxonomy alignment logi conceptual models logic diagnosis queries prague database design and models python matlab transparency r documentation generators fair policies declarative languages design modeling rule-based programming taxonomy alignment statelog taxonomy logic diagnosis rcc5 technology jargon possible worlds dataone debugging logic regular expressions; character classes; anchors; g formal languages regular expressions chomsky hierarchy games first-order predicate logic well-founded semantics deduction eulerx scientific workflow cyberinfrastructure computational science docker containers ontology noworkflow data transformation query evaluation xml inference delta computing finite model theory ecology retrospective provenance prospective provenance querying provenance workflow provenance