( en | de | ru )

 

Disambiguation of "Zarrieß, Benjamin"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

, , , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)

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.

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)
 

Other publications of authors with the same name

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