Martin Giese
English
E-post
martingi@ifi.uio.no
Telefon
+47-22852737
Rom
9162
Treffetider
11.00 - 17.00
Brukernavn
Besøksadresse
Ole Johan Dahls hus (IFI2)
Postadresse
Postboks 1080 Blindern
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
- INF3580 - Semantic Technologies
- INF5170 - Master Seminar in Logic
- INF3110 - Programming Languages (Prolog part)
- INF1040 - Digital Representation (2009, parts on sound, images, video, compression)
Bakgrunn
- Post-doc at University of Oslo since 2007
- Post-doc at RICAM and RISC from 2005 to 2007
- Post-doc at Chalmers Univ. of Technology from 2003 to 2005
- PhD in Computer Science from Universität Karlsruhe in 2002
- Diploma in Computer Science from Universität Karlsruhe in 1998
Verv
- Secretary of Association of Automated Reasoning and CADE Inc.
- Member of advisory board of the EMERGENCY project.
- Member of Steering Committee of Tableaux.
Publikasjoner
Min fulstendig publikasjonsliste med finnes på min personlige hjemmeside.
- 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 16. mar. 2011 15:48