Martin Giese
Professor
-
Programming

Norwegian version of this page
Email
martingi@ifi.uio.no
Phone
+47 22852737
Room
8464
Available hours
10.00 - 16.00
Username
Visiting address
Ole Johan Dahls hus (IFI2)
Postal address
Postboks 1080
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 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.
- Mumtaz, Summaya & Giese, Martin (2020). Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data, In Andreas Martin; Hinkelmann Knut & Hans-George Fill (ed.), AAAI-MAKE 2020 Combining Machine Learning and Knowledge Engineering in Practice - Volume I: Spring Symposium. Technical University of Aachen. ISBN 9783642224126. AAAI MAKE 2020Spring Symposium.
- Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin (2020). Data-based support for petroleum prospect evaluation. Earth Science Informatics. ISSN 1865-0473. . doi: 10.1007/s12145-020-00502-4
- Karlsen, Leif Harald & Giese, Martin (2019). Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica. ISSN 1384-6175. 23(4), s 689- 731 . doi: 10.1007/s10707-019-00348-z
- Klungre, Vidar Norstein; Soylu, Ahmet; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Giese, Martin (2019). Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. New generation computing. ISSN 0288-3635. 37(4), s 361- 392 . doi: 10.1007/s00354-019-00071-1 Full text in Research Archive.
- Vega-Gorgojo, Guillermo; Slaughter, Laura & Giese, Martin (2019). Seeing the whole picture: Integrated pre-surgery reports with PreOptique. Journal of Biomedical Semantics. ISSN 2041-1480. 10(1) . doi: 10.1186/s13326-019-0197-1 Full text in Research Archive.
- Klungre, Vidar Norstein & Giese, Martin (2018). Approximating Faceted Search for Graph Queries. CEUR Workshop Proceedings. ISSN 1613-0073. s 61- 76
- Klungre, Vidar Norstein & Giese, Martin (2018). Evaluating a Faceted Search Index for Graph Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11230 LNCS, s 573- 583 . doi: 10.1007/978-3-030-02671-4_36 Full text in Research Archive.
- Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny (2018). On Enhancing Visual Query Building over KGs Using Query Logs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11341, s 77- 85 . doi: 10.1007/978-3-030-04284-4_6 Full text in Research Archive. Show summary
- Xiao, Guohui; Hovland, Dag; Bilidas, Dimitris; Rezk, Martin; Giese, Martin & Calvanese, Diego (2018). Efficient Ontology-Based Data Integration with Canonical IRIs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10843 LNCS, s 697- 713 . doi: 10.1007/978-3-319-93417-4_45 Full text in Research Archive.
- Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics. ISSN 1868-8969. 86, s 1- 15 . doi: 10.4230/LIPIcs.COSIT.2017.4 Full text in Research Archive.
- Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis & Waaler, Arild Torolv Søetorp (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics. ISSN 1570-8268. 44, s 3- 36 . doi: 10.1016/j.websem.2017.05.005 Full text in Research Archive.
- Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian; Giese, Martin; Ioannidis, Yannis; Lamparter, Steffen; Möller, Ralf; Kotidis, Yannis & Waaler, Arild (2017). Semantic access to streaming and static data at Siemens. Journal of Web Semantics. ISSN 1570-8268. 44, s 54- 74 . doi: 10.1016/j.websem.2017.02.001 Full text in Research Archive.
- Klungre, Vidar Norstein & Giese, Martin (2017). A Faceted Search Index for OptiqueVQS. CEUR Workshop Proceedings. ISSN 1613-0073.
- Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments. ISSN 1876-1364. 9(1), s 77- 95 . doi: 10.3233/AIS-160415 Full text in Research Archive.
- Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein & Horrocks, Ian (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal. ISSN 1570-0844. s 1- 28 . doi: 10.3233/sw-180293 Full text in Research Archive.
- Vega-Gorgojo, Guillermo; Giese, Martin & Slaughter, Laura (2017). Exploring semantic datasets with RDF surveyor. CEUR Workshop Proceedings. ISSN 1613-0073. 1963, s 1- 4
- Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, In SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers. ISBN 978-1-61399-459-7. KAPITTEL.
- Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny & Waaler, Arild (2016). Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing. ISSN 1089-7801. 20(6), s 62- 66 . doi: 10.1109/MIC.2016.121
- Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph; Soylu, Ahmet; Svingos, Christoforos; Zheleznyakov, Dmitriy; Horrocks, Ian; Ioannidis, Yannis; Möller, Ralf & Waaler, Arild (2016). Enabling semantic access to static and streaming distributed data with optique: demo, In Avigdor Gal; Matthias Weidlich; Vana Kalogeraki & Nalini Venkasubramanian (ed.), Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24. ACM Publications. ISBN 978-1-4503-4021-2. Chapter. s 350 - 353
- Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet; Svingos, Christoforos; Xiao, Guohui; Zheleznyakov, Dmitriy; Calvanese, Diego; Horrocks, Ian; Giese, Martin; Ioannidis, Yannis; Kotidis, Yannis; Möller, Ralf & Waaler, Arild (2016). A Semantic Approach to Polystores, In James Joshi (ed.), Proceedings 2016 IEEE International Conference on Big Data. IEEE. ISBN 978-1-4673-9005-7. KAPITTEL. s 2565 - 2573
- Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818, s 34- 39
- Soylu, Ahmet; Giese, Martin; Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2016). Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Universal Access in the Information Society. ISSN 1615-5289. s 1- 33 . doi: 10.1007/s10209-016-0465-0 Full text in Research Archive.
- Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian (2016). A visual query system for stream data access over ontologies. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9989, s 161- 166 . doi: 10.1007/978-3-319-47602-5_32
- Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian (2016). Domain experts surfing on stream sensor data over ontologies. CEUR Workshop Proceedings. ISSN 1613-0073. 1588, s 11- 20
- Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). PepeSearch: Semantic Data for the masses. PLOS ONE. ISSN 1932-6203. 11(3) . doi: 10.1371/journal.pone.0151573 Full text in Research Archive. Show summary
- Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm & Waaler, Arild (2016). Pepesearch: Easy to use and easy to install semantic data search. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9989 LNCS, s 146- 150 . doi: 10.1007/978-3-319-47602-5_29
- Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). Visual query interfaces for semantic datasets: An evaluation study. Journal of Web Semantics. ISSN 1570-8268. 39, s 81- 96 . doi: 10.1016/j.websem.2016.01.002
- Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings. ISSN 1613-0073. 1690
- Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). OptiqueVQS: Ontology-based visual querying. CEUR Workshop Proceedings. ISSN 1613-0073. 1456, s 91- 96
- Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin (2015). Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9366, s 199- 216 . doi: 10.1007/978-3-319-25007-6_12 Full text in Research Archive. Show summary
- Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer & Rosati, Riccardo (2015). Optique: Zooming in on Big Data. Computer. ISSN 0018-9162. 48(3), s 60- 67 . doi: 10.1109/MC.2015.82
- Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees, In Tomasz Lechowski; Przemysław Wałęga & Michał Zawidzki (ed.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISBN 978-83-60810-78-1. Artikkel nr. 3. s 21 - 33
- Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jiménez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Ozcep, Ozgur; Pinkel, Christoph; Soylu, Ahmet; Zheleznyakov, Dmitriy; Roshchin, Mikhail; Watson, Stuart & Horrocks, Ian (2015). Semantic access to siemens streaming data: The OPTIQUE way. CEUR Workshop Proceedings. ISSN 1613-0073. 1486
- Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian & Waaler, Arild (2015). OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings. ISSN 1613-0073. 1486
- Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild (2015). Engineering ontology-based access to real-world data sources. Journal of Web Semantics. ISSN 1570-8268. 33, s 112- 140 . doi: 10.1016/j.websem.2015.03.002 Full text in Research Archive.
- Soylu, Ahmet & Giese, Martin (2015). Qualifying Ontology-Based Visual Query Formulation, In Troels Andreasen; Henning Christiansen; Janusz Kacprzyk; Henrik Larsen; Gabriella Pasi; Olivier Pivert; Guy De Tré; Maria Amparo; Adnan Yazici & Sławomir Zadrożny (ed.), Flexible Query Answering Systems 2015 Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015. Springer. ISBN 978-3-319-26154-6. Chapter. s 243 - 255 Show summary
- Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Vega, Gorgojo Guillermo & Horrocks, Ian (2015). Experiencing OptiqueVQS: A Multi-paradigm and Ontology-based Visual Query System for End Users. Universal Access in the Information Society. ISSN 1615-5289. 15(1), s 129- 152 . doi: 10.1007/s10209-015-0404-5 Full text in Research Archive. Show summary
- Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). Ontology-Based Visual Query Formulation: An Industry Experience, In George Bebis; Richard Boyle; Bahram Parvin; Darko Koracin; Ioannis Pavlidis; Rogerio Feris; Tim McGraw; Mark Elendt; Regis Kopper; Eric Ragan; Zhao Ye & Gunther Weber (ed.), Advances in Visual Computing 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I. Springer. ISBN 978-3-319-27857-5. Chapter. s 842 - 854 Show summary
- Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin (2014). Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. 3
- Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2014). Towards Exploiting Query History for Adaptive Ontology-based Visual Query Formulation. Communications in Computer and Information Science. ISSN 1865-0929. 478, s 107- 119 . doi: 10.1007/978-3-319-13674-5_11
- Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2014). Why not simply Google?, In Thomas Olsson & Ebba Þóra Hvannberg (ed.), NordiCHI '14 : Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, Oct 26-30 2014, Helsinki, Finland. Association for Computing Machinery (ACM). ISBN 978-1-4503-2542-4. Chapter. s 1039 - 1042
- Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2014). OptiqueVQS: Visual Query Formulation for OBDA. CEUR Workshop Proceedings. ISSN 1613-0073. 1193, s 725- 728
- Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, Domenico Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). The Optique Project: Towards OBDA Systems for Industry. CEUR Workshop Proceedings. ISSN 1613-0073. 1080
- Cuenca grau, Bernardo; Giese, Martin; Horrocks, Ian; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Schmidt, Michael; Soylu, Ahmet & Zheleznyakov, Dmitriy (2013). Towards Query Formulation and Query-Driven Ontology Extensions in OBDA Systems. CEUR Workshop Proceedings. ISSN 1613-0073.
- Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet & Waaler, Arild (2013). Scalable End-user Access to Big Data, In Rajendra Akerkar (ed.), Big Data Computing. Taylor & Francis. ISBN 978-1-46-657837-1. Section II.
- Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet & Waaler, Arild (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, s 125- 140 . doi: 10.1007/978-3-642-41242-4_11
- Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Nordveit, Toralv; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Savo, Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, s 293- 295 . doi: 10.1007/978-3-642-41242-4_48
- Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2013). OptiqueVQS—Towards an Ontology-based Visual Query System for Big Data, In Latif Ladid; Antonio Montes; Peter A. Bruck; Fernando Ferri & Richard Chbeir (ed.), Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013. Association for Computing Machinery (ACM). ISBN 978-1-4503-2004-7. artikkel. s 119 - 126
- Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny & Zheleznyakov, Dmitriy (2013). A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data, In Emmanouel Garoufallou & Jane Greenberg (ed.), Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings. Springer. ISBN 978-3-319-03436-2. Chapter. s 201 - 212
- Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge & Waaler, Arild (2012). Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports, In Sanjay Kanvinde (ed.), SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands. Society of Petroleum Engineers. ISBN 978-1-61399-191-6. SPE 150225.
- Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation. ISSN 0747-7171. 47(9), s 1046- 1065 . doi: 10.1016/j.jsc.2011.12.032 Show summary
- Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. s 25- 36 . doi: 10.29007/r5m4 Full text in Research Archive.
- 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 Show summary
- 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. Show summary
- Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae. Frontiers in Artificial Intelligence and Applications. ISSN 0922-6389. 215, s 983- 984 . doi: 10.3233/978-1-60750-606-5-983
- 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
- Gutiérrez-Basulto, Víctor; Kliegr, Tomas; Soylu, Ahmet; Giese, Martin & Roman, Dumitru (ed.) (2020). The Proceedings of 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020). Springer. ISBN 978-3-030-57977-7. 187 s.
- Gao, Jerry; Giese, Martin & Zeng, Yifeng (2016). 2016 IEEE Second International Conference on Big Data Computing Service and Applications (BigDataService 2016). IEEE. ISBN 978-1-5090-2251-9. 300 s.
- 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.
- Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
- Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 460. Full text in Research Archive.
- Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 467. Full text in Research Archive.
- Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration.
- Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818
- Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin (2014). Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case.
- Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
- Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
- Giese, Martin & Waaler, Arild (2013). Optique - Scalable End-user Access to Big Data.
- Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet; Zheleznyakov, Dmitriy; Bagosi, Timea; Console, Marco; Haase, Peter; Horrocks, Ian; Marciuska, Sarunas; Pinkel, Christoph; Rodriguez-muro, Mariano; Ruzzi, Marco; Santarelli, Valerio; Fabio Savo, Domenico; Sengupta, Kunal; Schmidt, Michael; Thorstensen, Evgenij; Trame, Johannes & Waaler, Arild (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
- Giese, Martin (2012). A Calculus for Type Predicates and Type Coercion.
- Giese, Martin (2012). Fra Aristoteles til Web 3.0!.
- Giese, Martin (2012). Fra Aristoteles til Web 3.0.
- Giese, Martin (2012). Linked Data or Queryable Data?—Are five stars enough?.
- Giese, Martin & Ivanovska, Magdalena (2012). Logics for Decision Making.
- Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive.
- Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions. Show summary
- Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions.
- 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; Ireland, A & Kovacs, L (2010). Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops Introduction. Journal of symbolic computation. ISSN 0747-7171. 45(11), s 1097- 1100 . doi: 10.1016/j.jsc.2010.06.002
- Giese, Martin & Waaler, Arild (ed.) (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 387.
Published Nov. 4, 2010 1:54 PM
- Last modified Apr. 21, 2017 7:32 PM