Persons tagged with «Logic»
Name | Phone | Tags | |
---|---|---|---|
Antonsen, Roger Associate Professor | +47 22852482 | 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 | logic, big data, semantic web, automated reasoning, proof search, first order logic |
Skjæveland, Martin Georg Researcher | martige@ifi.uio.no | Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange |