( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Situation Calculus Meets Description Logics.

, , и . Description Logic, Theory Combination, and All That, том 11560 из Lecture Notes in Computer Science, стр. 240-265. Springer, (2019)

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.

Benjamin Zarrieß

Michelle Zarrieß

Sina Zarrieß

Benjamin Köckemann

Abundance, niche breadth and stress in the centre and at the border of the distribution range: a macroecological study on abundant and rare tree specie. Uni Göttingen, (2008)

Benjamin Bender

Cerebrospinal fluid and interstitial fluid volume measurement in the human brain at 3T with EPI. Uni Tübingen, (2009)
 

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

Situation Calculus Meets Description Logics., , и . Description Logic, Theory Combination, and All That, том 11560 из Lecture Notes in Computer Science, стр. 240-265. Springer, (2019)Projection in a Description Logic of Context with Actions., и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)., , , , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Verification of Knowledge-Based Programs over Description Logic Actions., и . IJCAI, стр. 3278-3284. AAAI Press, (2015)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner., , , , и . Theory Pract. Log. Program., 22 (2): 162-192 (2022)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner., , , , и . CoRR, (2021)