15 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Stef De Pooter, Johan Wittocx, Marc Denecker
In this paper we present a proposal for a knowledge-based programming environment. In such an environment, declarative background knowledge, procedures, and concrete data are repre…