RuleRS
tags
Expert Systems
Guido Governatori
System integrating relational databases with an LP reasoner, particularly
SPINdle
.
intro paper
Notes that link to this note
Large-Scale Legal Reasoning with Rules and Databases
Regorous