Compliance checking in reified IO logic via SHACL.
Livio RobaldoKolawole John AdebayoPublished in: CoRR (2021)
Keyphrases
- predicate logic
- temporal logic
- verification method
- modal logic
- meta level
- logic programming
- classical logic
- highly efficient
- multi valued
- video sequences
- automated reasoning
- database
- logical framework
- computational properties
- defeasible logic
- consistency checking
- bayesian networks
- abductive reasoning
- temporal knowledge
- information retrieval