Stories by mindcrime

Verdi – Formally Verifying Distributed Systems (2016)

Hacker Ethic

Cyberpunk: The Documentary

NASA Systems Engineering Handbook [pdf]

SPARQL Protocol for RDF

Science and Scientific Reasoning [pdf]

Inverse Problems [pdf]

Abduction – Modes of Inference I

Triangle (RTP, NC) Places 5th in “Top 25 Tech Cities” Report

How Computers Change the Way We Think (2004) [pdf]

A System for Accessible Artificial Intelligence

YARP – Yet Another Robot Platform

Limbo – A Reasoning System for First-Order Limited Belief

Piper at the Gates of Hell: Interview with Cyberpunk Legend John Shirley [2014]

Objections to Bayesian Statistics (2008) [pdf]

A History of Metaheuristics

SHACL is a W3C Recommendation

AppLP: A Dialogue on Applications of Logic Programming

Abductive Logic Programming

Grails Anti-Pattern – Everything Is a Service

30
31
32
33
34
35
36
37
38
39