4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Peter Baumgartner
Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratific…