Besøksadresse
Domus Juridica, 6. etasje (kart)
Kristian Augusts gate 17
0164
OSLO
Persons tagged with «Proof Search»
| Name | Phone | Tags | |
|---|---|---|---|
Antonsen, Roger
Associate Professor
|
+47 22852482 +4797588742 (mob) | rantonse@ifi.uio.no | Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication |
Giese, Martin
Professor
|
+47 22852737 | martingi@ifi.uio.no | first order logic, proof search, semantic web, logic, automated reasoning, big data |