Sign in

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

Mark ThomHarold BoleyTheodoros 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