• Kroghstræde 3

    9220 Aalborg Ø

    Denmark

Fingerprint Dive into the research topics where Language, Knowledge & Formalisation is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Robots
Ontology
Prosthetics
Engineers
Inductive logic programming (ILP)
Communication
Statistical methods
Display devices
Bioelectric potentials
Text processing
Competitive intelligence
Health care
Semantic Web
Fuzzy logic
Robotics
Semantics

Arts & Humanities

Logic
Arthur Prior
Ontology
Branching Time
Tense
Formalization
Transcendence
Hypertext
Predicate Logic
Temporality
Formal Analysis
William of Ockham
Contingency
Existential Graphs
Philosophy of Time
Copenhagen
History
Primacy