1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2025
Defending the Hierarchical Result Models of Precedential Constraint
Henry Prakken, Wijnand van Woerkom
In recent years, hierarchical case-based-reasoning models of precedential constraint have been proposed. In various papers, Trevor Bench-Capon criticised these models on the ground…
cs.LO2016★ 1 cited
Number representations and term rewriting
Boas Kluiving, Wijnand van Woerkom
In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular,…