Martin Giese
English
E-post
martingi@ifi.uio.no
Telefon
+47-22852737
Rom
9162
Treffetider
11.00 - 17.00
Brukernavn
Besøksadresse
Gaustadalléen 23B
Ole-Johan Dahls hus
0373 OSLO
Postadresse
Postboks 1080 Blindern
0316 OSLO
Faglige interesser
Her kan du skrive om faglige interesser.
Undervisning
<Lenke til studieprogram/emne>
<Lenke til studieprogram/emne>
...
Bakgrunn
Kort om tidligere arbeidserfaring og utdanning
Priser
<Navn og eventuelt lenke til pris 1>
<Navn og eventuelt lenke til pris 2>
...
Verv
<Navn og eventuelt lenke til verv 1>
<Navn og eventuelt lenke til verv 2>
...
Samarbeid
Publikasjoner
- Giese, Martin & Bratvold, Reidar B (2011). Probabilistic Modeling for Decision Support in Integrated Operations. SPE Economics & Management. ISSN 2150-1173. 3(3), s 173- 185 . doi: 10.2118/127761-PA
- Ivanovska, Magdalena & Giese, Martin (2011). A Logic-based Approach to Decision Making , In Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISBN 978-82-519-2843-4. Article No 6. s 61 - 72
- Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin & Rümmer, Philipp (2010). Practical Aspects of Automated Deduction for Program Verification . Künstliche Intelligenz. ISSN 0933-1875. 24(1), s 43- 49 . doi: 10.1007/s13218-010-0001-y
- Giese, Martin & Bratvold, Reidar B (2010). Probabilistic Modeling for Decision Support in Integrated Operations , In Helen Ratcliffe (ed.), 2010 SPE Intelligent Energy Conference & Exhibition: Delivering Value - Creating Opportunities. Society of Petroleum Engineers. ISBN 978-1-55563-284-7. SPE 127761.
- Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae , In Thomas Ågotnes (ed.), STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press. ISBN 978-1-60750-675-1. article. s 127 - 139
- Giese, Martin & Waaler, Arild (ed.) (2009). Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. Springer. ISBN 978-3-642-02715-4. 341 s.
- Giese, Martin (2012). Linked Data or Queryable Data?—Are five stars enough?.
- Giese, Martin (2011). Fra Aristoteles til Web 3.0.
- Giese, Martin (2011). Quality Criteria for ISO15926-8 Compliant Installation Descriptions.
- Giese, Martin (2011). Quality Criteria for ISO15926-8 Compliant Installation Descriptions.
- Giese, Martin (2011). Tutorial: "Semantic Technology".
- Giese, Martin & Waaler, Arild (ed.) (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings.
Publisert 4. nov. 2010 13:54
- Sist endret 28. jun. 2011 09:27