Software Open Access

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Malvin Gattinger</dc:creator>
  <dc:date>2019-12-09</dc:date>
  <dc:description>New:

minimization under bisimulation
dynamic operators in formulas via Data.Dynamic
multipointed models, action models, structures and events
added Cheryl's Birthday and Cheryl's Age examples
experimental functions for epistemic planning (with small examples)
more instances for QuickCheck, more tests
add S5 to K conversion in SMCDEL.Translations.Convert
improvements to the web interface

Changed:

polymorphic update replaces productUpdate, transform, pubAnnounce etc.
factual change by default: merge Symbolic.S5.Change into Symbolic.S5 etc.
remove changeprops in (Kn)Trf to avoid redundancy with changelaw
move BDD related functions to HasCacBDD (substit, substitSimul)
avoid Data.Map in S5 modules, no longer depend on lens
replace .cabal file with a package.yml for hpack
</dc:description>
  <dc:identifier>https://zenodo.org/record/3568325</dc:identifier>
  <dc:identifier>10.5281/zenodo.3568325</dc:identifier>
  <dc:identifier>oai:zenodo.org:3568325</dc:identifier>
  <dc:relation>url:https://github.com/jrclogic/SMCDEL/tree/v1.1.0</dc:relation>
  <dc:relation>doi:10.5281/zenodo.1184685</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:title>jrclogic/SMCDEL: v1.1.0</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
50
2
views
downloads
All versions This version
Views 5019
Downloads 22
Data volume 4.9 MB4.9 MB
Unique views 3714
Unique downloads 22

Share

Cite as