Login / Signup
Balancing Model Usability and Verifiability with SBVR and Answer Set Programming.
Deepali Kholkar
Dushyanthi Mulpuru
Vinay Kulkarni
Published in:
MoDELS (Workshops) (2018)
Keyphrases
</>
answer set programming
logic programming
orders of magnitude