Martin Giese
Researcher
-
Research group for Logic and Intelligent Data
Norwegian
Email
martingi@ifi.uio.no
Phone
+47-22852737
Room
9162
Available hours
11.00 - 17.00
Username
Visiting address
Ole Johan Dahls hus (IFI2)
Postal address
Postboks 1080 Blindern
0316 OSLO
Academic Interests
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.
Teaching
- INF3580 - Semantic Technologies
- INF5170 - Master Seminar in Logic
- INF3110 - Programming Languages (Prolog part)
- INF1040 - Digital Representation (2009, parts on sound, images, video, compression)
Higher education and employment history
- 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
Appointments
- Secretary of Association of Automated Reasoning and CADE Inc.
- Member of advisory board of the EMERGENCY project.
- Member of Steering Committee of Tableaux.
Cooperation
Publications
My complete list of publications, and downloadable versions of most of them, can be found on my personal homepage.
- 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.
Published Nov 4, 2010 01:54 PM
- Last modified Mar 16, 2011 01:23 PM