Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

Waymo announced the acquisition of Latent Logic, a company started by Oxford University academics that uses “imitation learning” to train self-driving vehicles.

Cadence today announced the Xcelium Logic Simulator has been enhanced with machine learning technology to increase verification throughput.

Anomaly Detection is built on Sumo Logic’s Log Management and Analytics service which utilizes LogReduce technology.

AI Logic is immediately available across all major learning management systems, including Canvas, D2L Brightspace, Moodle, Blackboard, Schoology, Edsby, and Sakai.