Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.

Thomas Bittner, Jonathan P. Bona, Werner Ceusters

Browse the full FOIS paper archive.