Martin Giese

Professor - PROG Programmering
Bilde av Martin Giese
English version of this page
Telefon +47 22852737
Rom 8464
Treffetider 10.00 - 16.00
Brukernavn
Besøksadresse Ole Johan Dahls hus (IFI2)
Postadresse Postboks 1080 0316 Oslo

Faglige Interesser

I am interested in various aspects of applied logics and formal methods, including

  • Semantic Web/Semantic Technologies,
  • Tableau-based proof systems,
  • First-order logic,
  • Equality reasoning in tableaux,
  • Description logics,
  • Integration of interactive and automated theorem proving,
  • Implementation of proof systems.

Undervisning

Bakgrunn

Verv

 

 

Emneord: Automatisk resonnering, Semantic web, Bevissøk, Logikk, Big data, Førsteordens logikk
Publisert 12. mars 2011 09:50 - Sist endret 15. juni 2017 14:56