Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.
Livio RobaldoCesare BartoliniMonica PalmiraniArianna RossiMichele MartoniGabriele LenziniPublished in: J. Log. Lang. Inf. (2020)
Keyphrases
- knowledge base
- logic programming
- predicate logic
- reasoning engine
- temporal logic
- modal logic
- classical logic
- expert systems
- input output
- description logics
- semantic network
- knowledge representation
- meta level
- knowledge acquisition
- knowledge based systems
- belief revision
- logic programs
- deductive reasoning
- formal representation
- knowledge representation and reasoning
- logical framework
- probability theory
- knowledge structures
- file system
- artificial intelligence
- main memory
- wordnet
- automated reasoning
- reasoning process
- rule base
- model checking
- database management systems