A Robotic Internet of “Maker Things” This project is a research undertaking that seeks to develop a way to network robots & robotic manufacturing sites and... Continue reading
Category: Classic AI
A Case Study In “Specification Driven Programming” Project Euler and its derivatives have become a favourite among algorithmic programmers. Quoting from the Project Euler web site:... Continue reading
A Full Analysis of the 2015 GCHQ Crypto Puzzle Today I would like to start the third article in a series on reasoning systems and... Continue reading
The Reasoned Lisper Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning.... Continue reading