cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp.

Mark Thom Harold Boley Theodoros Mitsikas

Published in: RuleML+RR (2021)

Keyphrases

formal specification
psoa ruleml
database
machine learning
first order logic
metadata
knowledge based systems
integrity constraints
process algebra