25,161
edits
Changes
no edit summary
He is known for his work on [https://en.wikipedia.org/wiki/Computational_logic computational logic] and applications of that work in [https://en.wikipedia.org/wiki/Management enterprise management], [https://en.wikipedia.org/wiki/Computational_law computational law], and [[General Game Playing]].
Along with [[Richard Fikes]] et al., he created the [https://en.wikipedia.org/wiki/Knowledge_Interchange_Format Knowledge Interchange Format],
=Selected Publications=