Pinned Repositories
blog
Blog
bpmnParser
variousBPMNparsingClasses
defaultlogic
Written by Evan Morrison, a default logic reasoner based on Reiters Default logic, this is a lightweight and incomplete implementation of a default logic reasoner. No decision procedure has been documented for this tool and it will only produce results for a subset of default logic problems.
Demos
Small Demo Projects
Dictator2
Dictator2
edm92.github.io
Permutations
Platform-Game
A platform game to be develop for fun by AS-NAR-EGG
TextSeer
Text based process modeling tool
websites
edm92's Repositories
edm92/defaultlogic
Written by Evan Morrison, a default logic reasoner based on Reiters Default logic, this is a lightweight and incomplete implementation of a default logic reasoner. No decision procedure has been documented for this tool and it will only produce results for a subset of default logic problems.
edm92/TextSeer
Text based process modeling tool
edm92/bpmnParser
variousBPMNparsingClasses
edm92/Platform-Game
A platform game to be develop for fun by AS-NAR-EGG
edm92/blog
Blog
edm92/Demos
Small Demo Projects
edm92/Dictator2
Dictator2
edm92/edm92.github.io
edm92/Permutations
edm92/websites