Quantcast
Browsing latest articles
Browse All 5 View Live

Created Release: DKAL 1.0.0.364 (Jun 06, 2011)

This is the first DKAL public release. It contains a bunch of examples and 3 front-ends: A console front-end for a single principal: Dkal.exeA console front-end for many principals: DkalMulti.exeA GUI...

View Article


Released: DKAL 1.0.0.364 (Jun 06, 2011)

This is the first DKAL public release. It contains a bunch of examples and 3 front-ends:A console front-end for a single principal: Dkal.exeA console front-end for many principals: DkalMulti.exeA GUI...

View Article


Updated Release: DKAL 1.0.0.364 (Jun 06, 2011)

This is the first DKAL public release. It contains a bunch of examples and 3 front-ends: A console front-end for a single principal: Dkal.exeA console front-end for many principals: DkalMulti.exeA GUI...

View Article

Released: DKAL 1.0.0.613 (Oct 21, 2012)

This is the second DKAL public release. New features:New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPIL Quantified Infon Terms ("forall")Updated syntax

View Article

Created Release: DKAL 1.0.0.613 (Oct 21, 2012)

This is the second DKAL public release. New features: New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPILQuantified Infon Terms ("forall")Updated syntax

View Article

Browsing latest articles
Browse All 5 View Live


<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>