Characterizing Boundedness in Chase Variants
Sign Up to like & getrecommendations! Published in 2020 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068420000083
Abstract: Abstract Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context… read more here.
Keywords: chase; chase variants; rules bounded; characterizing boundedness ... See more keywords
qMotor, a set of rules for sensitive, robust and quantitative measurement of motor performance in mice
Sign Up to like & getrecommendations! Published in 2017 at "Nature Protocols"
DOI: 10.1038/nprot.2017.062
Abstract: Phenotypic analysis of mouse models of human diseases is essential to understanding the underlying disease mechanisms and to developing therapeutics. Many models of neurodegenerative diseases are associated with motor dysfunction, a powerful readout for the… read more here.
Keywords: robust quantitative; sensitive robust; set rules; motor ... See more keywords