Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
2
datasets available to search
ShareScore release 0.9.0
Dataset results
2 results for “TPTP”
Supplemental data for submission "Bridging between LegalRuleML and TPTP for Automated Normative Reasoning"
<p>These files are supplementary material to the submission<br> Bridging between LegalRuleML and TPTP for Automated Normative Reasoning<br> by<br> Alexander Steen and David Fuenmayor<br> submitted to the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), 2022.</p> <p>Files ex1.lrml.xml and ex2.lrml.xml are two example LegalRuleML files.<br> Files ex1.dsl.p and ex2.dsl.p are two examples from above translated to the NMF DSL.<br> The files ex1.output.X.p and ex2.output.X.p are the translations of the NMF files into the concrete logic X (X = SDL or X = cJ (Carmo Jones) or X = aqvist (system E)).</p> <p>Alexander Steen, <alexander.steen@uni-greifswald.de></p>
Modal logic problems for the TPTP
<p>Modal logic problem files using the TPTP syntax for non-classical logics. The files were created from exercises and examples included in "First-Order Modal Logic" (1998) by Fitting & Mendelsohn.</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.