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>
71
4
views
downloads
All versions This version
Views 7132
Downloads 44
Data volume 9.8 MB9.8 MB
Unique views 5627
Unique downloads 44

Share

Cite as