Machine learning and logic: a new frontier in artificial intelligence
Article in Formal Methods in System Design (June 2022)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Article in Formal Methods in System Design (June 2022)
Book chapter (July 2021)
Article (January 2021)