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: Logikk, Big data, Semantic web, Automatisk resonnering, Bevissøk, Førsteordens logikk

Publikasjoner

Min fulstendige publikasjonsliste med mulighet for nedlasting finnes på min personlige hjemmeside.

  • Mumtaz, Summaya & Giese, Martin (2021). Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables. Journal of Intelligent Information Systems. ISSN 0925-9902. doi: 10.1007/s10844-021-00693-2.
  • Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint Rewriting for Direct Mapping. I Hotho, Andreas; Blomqvist, Eva; Dietze, Stefan; Fokoue, Achille; Ding, Ying; Barnaghi, Payam; Haller, Armin; Dragoni, Mauro & Alani, Harith (Red.), The Semantic Web – ISWC 2021. 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings. Springer Nature. ISSN 978-3-030-88361-4. s. 21–38. doi: 10.1007/978-3-030-88361-4_2.
  • Mumtaz, Summaya & Giese, Martin (2020). Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data. I Martin, Andreas; Knut, Hinkelmann & Fill, Hans-George (Red.), AAAI-MAKE 2020 Combining Machine Learning and Knowledge Engineering in Practice - Volume I: Spring Symposium. Technical University of Aachen. ISSN 9783642224126.
  • Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin (2020). Data-based support for petroleum prospect evaluation. Earth Science Informatics [ESIN]. 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • Klungre, Vidar Norstein & Giese, Martin (2018). Approximating Faceted Search for Graph Queries. CEUR Workshop Proceedings. ISSN 1613-0073. s. 61–76.
  • 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. Fulltekst i vitenarkiv
  • Vega-Gorgojo, Guillermo; Giese, Martin & Slaughter, Laura (2017). Exploring semantic datasets with RDF surveyor. CEUR Workshop Proceedings. ISSN 1613-0073. 1963, s. 1–4.
  • Klungre, Vidar Norstein & Giese, Martin (2017). A Faceted Search Index for OptiqueVQS. CEUR Workshop Proceedings. ISSN 1613-0073.
  • Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Vis alle 16 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü & Roshchin, Mikhail [Vis alle 16 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin & Skjæveland, Martin G [Vis alle 11 forfattere av denne artikkelen] (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry . Semantic Web Journal. ISSN 1570-0844. s. 1–28. doi: 10.3233/sw-180293. Fulltekst i vitenarkiv
  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Özçep, Özgür [Vis alle 8 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Vis alle 7 forfattere av denne artikkelen] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers. ISSN 978-1-61399-459-7. doi: 10.2118/181111-MS.
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf & Neuenstadt, Christian [Vis alle 11 forfattere av denne artikkelen] (2016). Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818, s. 34–39.
  • Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian & Jimenez-Ruiz, Ernesto [Vis alle 20 forfattere av denne artikkelen] (2016). A Semantic Approach to Polystores. I Joshi, James (Red.), Proceedings 2016 IEEE International Conference on Big Data. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-4673-9005-7. s. 2565–2573. doi: 10.1109/BigData.2016.7840898.
  • 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 [Vis alle 17 forfattere av denne artikkelen] (2016). Enabling semantic access to static and streaming distributed data with optique: demo. I Gal, Avigdor; Weidlich, Matthias; Kalogeraki, Vana & Venkasubramanian, Nalini (Red.), Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24. ACM Publications. ISSN 978-1-4503-4021-2. s. 350–353. doi: 10.1145/2933267.2933290.
  • 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.
  • 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.
  • Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag & Giese, Martin [Vis alle 8 forfattere av denne artikkelen] (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings. ISSN 1613-0073. 1690.
  • 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.
  • 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. Fulltekst i vitenarkiv
  • 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.
  • 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. Fulltekst i vitenarkiv
  • Soylu, Ahmet & Giese, Martin (2015). Qualifying Ontology-Based Visual Query Formulation. I Andreasen, Troels; Christiansen, Henning; Kacprzyk, Janusz; Larsen, Henrik; Pasi, Gabriella; Pivert, Olivier; Tré, Guy De; Amparo, Maria; Yazici, Adnan & Zadrożny, Sławomir (Red.), Flexible Query Answering Systems 2015 Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015. Springer. ISSN 978-3-319-26154-6. s. 243–255. doi: 10.1007/978-3-319-26154-6_19.
  • Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. I Lechowski, Tomasz; Wałęga, Przemysław & Zawidzki, Michał (Red.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISSN 978-83-60810-78-1. s. 21–33. doi: 10.15439/978-83-60810-78-1.
  • Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). Ontology-Based Visual Query Formulation: An Industry Experience. I Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Pavlidis, Ioannis; Feris, Rogerio; McGraw, Tim; Elendt, Mark; Kopper, Regis; Ragan, Eric; Ye, Zhao & Weber, Gunther (Red.), Advances in Visual Computing 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I. Springer. ISSN 978-3-319-27857-5. s. 842–854. doi: 10.1007/978-3-319-27857-5_75.
  • Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G & Soylu, Ahmet [Vis alle 11 forfattere av denne artikkelen] (2015). OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings. ISSN 1613-0073. 1486.
  • Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jiménez-Ruiz, Ernesto; Lamparter, Steffen & Neuenstadt, Christian [Vis alle 13 forfattere av denne artikkelen] (2015). Semantic access to siemens streaming data: The OPTIQUE way. CEUR Workshop Proceedings. ISSN 1613-0073. 1486.
  • 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. Fulltekst i vitenarkiv
  • 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.
  • 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter & Jimenez-Ruiz, Ernesto [Vis alle 11 forfattere av denne artikkelen] (2015). Optique: Zooming in on Big Data. Computer. ISSN 0018-9162. 48(3), s. 60–67. doi: 10.1109/MC.2015.82.
  • 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? I Olsson, Thomas & Hvannberg, Ebba Þóra (Red.), 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). ISSN 978-1-4503-2542-4. s. 1039–1042. doi: 10.1145/2639189.2670270.
  • 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.
  • 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. I Ladid, Latif; Montes, Antonio; Bruck, Peter A.; Ferri, Fernando & Chbeir, Richard (Red.), Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013. Association for Computing Machinery (ACM). ISSN 978-1-4503-2004-7. s. 119–126. doi: 10.1145/2536146.2536149.
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas & Ioannidis, Yannis [Vis alle 23 forfattere av denne artikkelen] (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.
  • Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin & Haase, Peter [Vis alle 16 forfattere av denne artikkelen] (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.
  • Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis & Kllapi, Herald [Vis alle 16 forfattere av denne artikkelen] (2013). Scalable End-user Access to Big Data. I Akerkar, Rajendra (Red.), Big Data Computing. Taylor & Francis. ISSN 978-1-46-657837-1. doi: 10.1201/b16014-9.
  • Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Vis alle 7 forfattere av denne artikkelen] (2013). A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. I Garoufallou, Emmanouel & Greenberg, Jane (Red.), Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings. Springer. ISSN 978-3-319-03436-2. s. 201–212. doi: 10.1007/978-3-319-03437-9_21.
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Vis alle 20 forfattere av denne artikkelen] (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 [Vis alle 9 forfattere av denne artikkelen] (2013). Towards Query Formulation and Query-Driven Ontology Extensions in OBDA Systems. CEUR Workshop Proceedings. ISSN 1613-0073.
  • 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. I Kanvinde, Sanjay (Red.), SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands. Society of Petroleum Engineers. ISSN 978-1-61399-191-6. doi: 10.2118/150225-ms.
  • 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. Fulltekst i vitenarkiv
  • 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.
  • Ivanovska, Magdalena & Giese, Martin (2011). A Logic-based Approach to Decision Making, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 978-82-519-2843-4. s. 61–72.
  • 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 (2010). Probabilistic Logic with Conditional Independence Formulae. I Ågotnes, Thomas (Red.), STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press. ISSN 978-1-60750-675-1. s. 127–139.
  • 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. I Ratcliffe, Helen (Red.), 2010 SPE Intelligent Energy Conference & Exhibition: Delivering Value - Creating Opportunities. Society of Petroleum Engineers. ISSN 978-1-55563-284-7.
  • 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.

Se alle arbeider i Cristin

  • Gutiérrez-Basulto, Víctor; Kliegr, Tomas; Soylu, Ahmet; Giese, Martin & Roman, Dumitru (2020). Rules and Reasoning. 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings. Springer. ISBN 978-3-030-57977-7. 12173(1). 187 s.
  • Gao, Jerry; Giese, Martin & Zeng, Yifeng (2016). 2016 IEEE Second International Conference on Big Data Computing Service and Applications (BigDataService 2016). IEEE (Institute of Electrical and Electronics Engineers). ISBN 978-1-5090-2251-9. 300 s.
  • Giese, Martin & Waaler, Arild (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.

Se alle arbeider i Cristin

  • Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin (2020). Correction to: Data-based support for petroleum prospect evaluation (Earth Science Informatics, (2020), 13, 4, (1305-1324), 10.1007/s12145-020-00502-4). Earth Science Informatics [ESIN]. ISSN 1865-0473. 13(4). doi: 10.1007/s12145-020-00536-8.
  • Gutiérrez-Basulto, Víctor; Soylu, Ahmet; Roman, Dumitru; Kliegr, Tomáš & Giese, Martin (2020). Preface. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12173, s. v–vi.
  • Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Vis alle 7 forfattere av denne artikkelen] (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 [Vis alle 11 forfattere av denne artikkelen] (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 & Waaler, Arild (2013). Optique - Scalable End-user Access to Big Data.
  • Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
  • Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
  • Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet & Zheleznyakov, Dmitriy [Vis alle 21 forfattere av denne artikkelen] (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
  • Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions.
  • Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions.
  • Giese, Martin & Ivanovska, Magdalena (2012). Logics for Decision Making.
  • Giese, Martin (2012). Fra Aristoteles til Web 3.0!
  • Giese, Martin (2012). Fra Aristoteles til Web 3.0.
  • Giese, Martin (2012). A Calculus for Type Predicates and Type Coercion.
  • Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Fulltekst i vitenarkiv
  • Giese, Martin (2012). Linked Data or Queryable Data?—Are five stars enough?
  • 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 (2011). Fra Aristoteles til Web 3.0.
  • 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.
  • Thapa, Ratan Bahadur & Giese, Martin (2022). Mapping Relational Database Constraints to SHACL (Extended Version). Universitetet i Oslo. Institutt for informatikk . ISSN 978-82-7368-603-9. 0806-3036(503). Fulltekst i vitenarkiv
  • Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin (2022). Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper). Universitetet i Oslo. ISSN 978-82-7368-602-2. Fulltekst i vitenarkiv
  • Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version). Universitetet i Oslo. Institutt for informatikk . ISSN 978-82-7368-463-9. Fulltekst i vitenarkiv
  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-464-6. Fulltekst i vitenarkiv
  • Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Department of Informatics, University of Oslo. ISSN 978-82-7368-432-5. Fulltekst i vitenarkiv
  • Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Department of Informatics, University of Oslo. ISSN 978-82-7368-425-7. Fulltekst i vitenarkiv
  • Giese, Martin & Waaler, Arild (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. University of Oslo, Department of Informatics. ISSN 0806-3036.

Se alle arbeider i Cristin

Publisert 12. mars 2011 09:50 - Sist endret 15. juni 2017 14:56