( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning.

, и . J. Univers. Comput. Sci., 16 (20): 3016-3042 (2010)

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.

Axel Haeusler

Werner Haeusler

Jochen Haeusler

Martin Haeusler

Gustav Haeusler

 

Другие публикации лиц с тем же именем

Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process., , , и . WebMedia, стр. 109-116. ACM, (2017)Intuitionistic PUC-Logic for Constructive Counterfactuals., , и . CoRR, (2014)A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Using Ontologies to Formalize Services Specifications in Multi-agent Systems., , , и . FAABS, том 3228 из Lecture Notes in Computer Science, стр. 92-110. Springer, (2004)Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning., и . J. Univers. Comput. Sci., 16 (20): 3016-3042 (2010)Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic.. CoRR, (2020)On proof theory in computer science., и . CoRR, (2020)K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly., , , , , и . BIBM, стр. 882-889. IEEE Computer Society, (2016)A Study of Database Models for Social Network Analysis., , , , и . SBBD, стр. 397-402. SBC, (2022)PUC-Logic., , и . DEXA Workshops, стр. 102-105. IEEE Computer Society, (2016)