Analysis of Air Traffic Track Data with the AutoBayes Synthesis System

Johann Schumann, Karen Cate, Alan Lee. Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. In María Alpuente, editor, Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Volume 6564 of Lecture Notes in Computer Science, pages 21-36, Springer, 2010. [doi]

Abstract

Abstract is missing.