Sign in

Observational Refinement and Merge for Disjunctive MTSs.

Shoham Ben-DavidMarsha ChechikSebastián Uchitel
Published in: ATVA (2016)
Keyphrases
  • refinement process
  • multiscale
  • information technology
  • medical images
  • answer sets
  • datalog programs
  • causal inference