6 citations · 6 across the 1 of their papers we have counts for
1 paper
Faiz Arni, KayLiang Ong, Shalom Tsur +2
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic const…