Temporal logic inference for classification and prediction from data
From MaRDI portal
Publication:2986980
DOI10.1145/2562059.2562146zbMath1362.68266WikidataQ58233178 ScholiaQ58233178MaRDI QIDQ2986980
Calin Belta, Ebru Aydin Gol, Austin Jones, Ana Medina Ayala, Zhaodan Kong
Publication date: 16 May 2017
Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2562059.2562146
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
68T37: Reasoning under uncertainty in the context of artificial intelligence
03B44: Temporal logic
Uses Software