Author of the publication

A Labelled System for IPL with Variable Splitting.

, and . CADE, volume 4603 of Lecture Notes in Computer Science, page 132-146. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Enabling semantic access to static and streaming distributed data with Optique: demo, , , , , , , , , and 7 other author(s). Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016, page 350–353. ACM, (2016)Semantics for multi-agent only knowing: extended abstract., and . TARK, page 109-125. National University of Singapore, (2005)Semantic access to streaming and static data at Siemens., , , , , , , , , and 6 other author(s). J. Web Semant., (2017)Trustworthiness by Default., and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 96-111. Springer, (2005)Scalable Semantic Access to Siemens Static and Streaming Distributed Data., , , , , , , , , and 7 other author(s). ISWC (Posters & Demos), volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Towards Data Integrity Verification for More Sustainable Petroleum Industry., , , , , , , and . ISWC (Posters/Demos/Industry), volume 3632 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Consistency Proofs for Systems of Multi?agent Only Knowing.. Advances in Modal Logic, page 347-366. King's College Publications, (2004)Engineering ontology-based access to real-world data sources., , , , and . J. Web Semant., (2015)Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages, , , , , , , , , and 11 other author(s). International Semantic Web Conference (Posters & Demos), page 65-68. (2013)Visual query interfaces for semantic datasets: An evaluation study, , , , , and . Web Semantics: Science, Services and Agents on the World Wide Web, (2016)