Expressing Biological Problems with Logical Reasoning Languages.

Tommaso Alfonsi Luigi Bellomarini Anna Bernasconi Stefano Ceri

Published in: RuleML+RR (Companion) (2022)

Keyphrases

logical reasoning
benchmark problems
problems involving
database
artificial intelligence
optimization problems
np complete
optimal solution
high dimensionality
microarray data
language independent