Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin Temporal logic inference for classification and prediction from data. (English) Zbl 1362.68266 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 273-282 (2014). MSC: 68T27 03B44 68T05 68T37 PDFBibTeX XMLCite \textit{Z. Kong} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 273--282 (2014; Zbl 1362.68266) Full Text: DOI
Akkan, Can; Drexl, Andreas; Kimms, Alf Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming. (English) Zbl 1101.68711 J. Log. Algebr. Program. 62, No. 1, 1-39 (2005). MSC: 68R10 68N17 PDFBibTeX XMLCite \textit{C. Akkan} et al., J. Log. Algebr. Program. 62, No. 1, 1--39 (2005; Zbl 1101.68711) Full Text: DOI