Using DLSim 3: a scalable, extensible, multi-level logic simulator.
Richard M. SalterJohn L. DonaldsonPublished in: ITiCSE (2008)
Keyphrases
- simulation platform
- proof theory
- data model
- modal logic
- logic programming
- web scale
- multi valued
- highly flexible
- automated reasoning
- data sets
- digital circuits
- classical logic
- application specific
- lightweight
- neural network
- real time
- highly scalable
- markup language
- memory efficient
- logical framework
- computational properties
- defeasible logic
- set theory
- information retrieval