Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation.
Ioannis AgrafiotisSadie CreeseMichael GoldsmithPublished in: PrimeLife (2011)
Keyphrases
- case study
- access control
- real world
- data sets
- predicate logic
- logic programming
- lessons learned
- modal logic
- multi valued
- proof theory
- legacy systems
- set theory
- defeasible logic
- classical logic
- logical framework
- user requirements
- knowledge management
- knowledge representation
- digital libraries
- knowledge base
- genetic algorithm
- neural network