Human-Centred Automated Reasoning for Regulatory Reporting via Knowledge-Driven Computing.

Dilhan J. Thilakarathne Newres Al Haider Joost Bosman

Published in: IEA/AIE (2020)

Keyphrases

automated reasoning
knowledge driven
human centred
reasoning systems
knowledge representation
biomedical data
theorem prover
theorem proving
query relaxation
probabilistic reasoning
microarray
reasoning tasks
data analysis
business intelligence
neural network
gene expression
search algorithm