Persons tagged with «first order 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 |