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 ArticleReleased: 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 ArticleUpdated 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 ArticleReleased: 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 ArticleCreated 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