Persons tagged with «logic»
Name | Phone | Tags | |
---|---|---|---|
![]() |
+47 22852737 | martingi@ifi.uio.no | logic, big data, semantic web, automated reasoning, proof search, first order logic |
![]() |
martige@ifi.uio.no | Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange |