@chrisamaphone I'm just talking about formal logic with someone in a pub (as you do) and he's asked if anyone has considered adventure games as an exercise in formal logic... Hmm... /cc @andy_m_wood
-
-
Yep. Long time ago though!
1 reply 0 retweets 0 likes
2015 wasn't that long ago! I thought @andy_m_wood might be interested in @chrisamaphone's work in particular... http://www.cs.cmu.edu/~cmartens/thesis/ …
4:31 AM - 1 Jun 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.