Dataset Groups Activity Stream Continuous Logic The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic. BibTex: @dataset{Rob_Arthan_and_Paulo_Oliva_2024, abstract = {The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic.}, author = {Rob Arthan and Paulo Oliva}, doi = {10.57702/nb2m07re}, institution = {No Organization}, keyword = {'continuous logic', 'coops', 'hoops', 'pocrims'}, month = {dec}, publisher = {TIB}, title = {Continuous Logic}, url = {https://service.tib.eu/ldmservice/dataset/continuous-logic}, year = {2024} }
