Pinned Loading

1. temporal-logic temporal-logic Public

   Allen's temporal calculus

   Racket 1

2. Examples of state rules/transitions ... Examples of state rules/transitions for portion of ACLS algorithm

   1

   (def person

   2

     (clj->js

   3

      {:id "person"

   4

       :type "parallel"

   5

       :context {:O2-sat 0.92

3. def-clojurescript def-clojurescript Public

   Defeasible logic for argumentation in ClojureScript

   Clojure

4. dprolog-web dprolog-web Public

   Donald Nute's d-Prolog defeasible inference engine in the browser via SWI-Prolog WASM

   Prolog