Sort by
Refine Your Search
-
science as one between category theory and functional programming languages. Whereas The connection between mathematics and Martin-Löf type theory can be formalized as an equivalence between structured
-
on social norms. These theories will be at least partly formalized, for example, using agent-based models. The experiments can include lab experiments as well as tests in the field depending on how
-
action. These theories will be at least partly formalized, for example, game-theoretical models, but will also be informed by philosophical (normative) perspectives. Empirical tests will primarily rely
-
, organizations, and the state in the provision of care. Your job Care institutions—whether informal or (semi-) formal—do not evolve in isolation; rather, they continuously influence one another. Yet relatively
-
the linguistic and conceptual interface between natural language questions and formal workflow models over a geodata repository. In this project, you will: build and annotate a corpus of geo-analytical questions
-
understand real-world challenges? Do you enjoy exploring and formally analyzing aspects of human reading and related cognitive tasks? Join us and contribute to an exciting multidisciplinary research project
-
, semantic modelling, ontology engineering, formal logics or cognitive modelling, and some experience with linked data standards and knowledge graph tools (e.g., RDF, OWL, SHACL); familiarity with or interest
-
, Computer science, Ontology engineering, Computational geoscience, AI and NLP, or a related field; a strong interest in conceptual modelling, semantic modelling, ontology engineering, formal logics or cognitive