Persons tagged with «Logic»
Name | Phone | Tags | |
---|---|---|---|
Giese, Martin Professor | +47 22852737 | martingi@ifi.uio.no | logic, big data, semantic web, automated reasoning, proof search, first order logic |
Normann, Dag | +47 41 25 02 05 | dnormann@math.uio.no | Mathematics, Logic |
Skjæveland, Martin Georg Researcher | martige@ifi.uio.no | Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange | |
Aanderaa, Stål Professor emeritus | 228 55889 | staal@math.uio.no | Mathematics, Logic |