Persons tagged with «Logic»

Name Phone E-mail Tags
Picture of Roger Antonsen 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
Picture of Martin Giese Giese, Martin Professor +47 22852737 martingi@ifi.uio.no first order logic, proof search, semantic web, logic, automated reasoning, big data
Picture of Martin Georg Skjæveland Skjæveland, Martin Georg Researcher martige@ifi.uio.no Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange
Feed from this page