Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

01.05.2017 - 31.10.2022
Research funding project

People

Project leader

Institute

Grant funds

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Vienna Science and Technology Fund (WWTF) Call identifier MA16-028

Research focus

  • Computer Science Foundations: 100%

External partner

  • Ö.A.W.

Publications