80 citations · 85 across the 4 of their papers we have counts for
1 paper · 2 filters
Carl Andersen, Brett Benyo, Miguel Calejo +6
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so suppo…