%0 Conference Paper %1 conf/fois/BittnerBC16 %A Bittner, Thomas %A Bona, Jonathan P. %A Ceusters, Werner %B FOIS %D 2016 %E Ferrario, Roberta %E Kuhn, Werner %I IOS Press %K dblp %P 313-327 %T Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking. %U http://dblp.uni-trier.de/db/conf/fois/fois2016.html#BittnerBC16 %V 283 %@ 978-1-61499-660-6

@inproceedings{conf/fois/BittnerBC16, added-at = {2021-02-09T00:00:00.000+0100}, author = {Bittner, Thomas and Bona, Jonathan P. and Ceusters, Werner}, biburl = {https://www.bibsonomy.org/bibtex/2b0c960e1ad24935d7f13794b96ca3041/dblp}, booktitle = {FOIS}, crossref = {conf/fois/2016}, editor = {Ferrario, Roberta and Kuhn, Werner}, ee = {https://doi.org/10.3233/978-1-61499-660-6-313}, interhash = {9de0eac2b159d4353e6ac60328be732e}, intrahash = {b0c960e1ad24935d7f13794b96ca3041}, isbn = {978-1-61499-660-6}, keywords = {dblp}, pages = {313-327}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-10T05:30:32.000+0200}, title = {Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.}, url = {http://dblp.uni-trier.de/db/conf/fois/fois2016.html#BittnerBC16}, volume = 283, year = 2016 }