1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…