Runtime Enforcement Using Knowledge Bases.
Eduard KamburjanCrystal Chang DinPublished in: FASE (2023)
Keyphrases
- knowledge base
- description logics
- knowledge acquisition
- access control
- knowledge representation
- logic programming
- meta knowledge
- reasoning process
- search engine
- abductive logic programming
- databases
- dl lite
- possibilistic logic
- semantic network
- belief revision
- expert systems
- similarity measure
- information systems
- genetic algorithm