Bertram Ludäscher

provenance scientific workflows reproducibility datalog workflow workflows game theory database theory answer set programming logic programming databases data curation knowledge representation yesworkflow taxonomy biodiversity informatics formal argumentation query languages updates relational queries whole-tale negation data quality jupyter data science scripting provenance scripting data cleaning reasoning scripts statelog rule-based programming declarative languages fair policies transparency database design and models conceptual models deductive databases ontologies semantic mediation data integration ecology delta computing inference xml data transformation ontology docker containers eulerx deduction 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 scientific workflow cyberinfrastructure computational science noworkflow query evaluation finite model theory retrospective provenance prospective provenance querying provenance workflow provenance queries yesworflow programming provenance scripting workflows databases data sharing data federation kurator kepler skope euler taxonomy alignment logi logic diagnosis prague python matlab r documentation generators design modeling taxonomy alignment taxonomy logic diagnosis