research
∙
02/23/2022
Scalable Query Answering under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach
Researchers in neuroscience have a growing number of datasets available ...
share
research
∙
05/13/2021
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
In this paper, we provide simplified semantics for the logic K45(G), i.e...
research
∙
08/12/2020
