RuleRS

tags
Expert Systems Guido Governatori

System integrating relational databases with an LP reasoner, particularly SPINdle.

intro paper