Epimenides: An information system offering automated reasoning for the needs of digital preservation.
Yannis KargakisYannis TzitzikasPublished in: JCDL (2014)
Keyphrases
- automated reasoning
- digital preservation
- information systems
- long term
- information infrastructure
- digital objects
- knowledge representation
- digital information
- data grid
- theorem proving
- metadata
- theorem prover
- probabilistic reasoning
- digital content
- digital libraries
- enterprise architecture
- information management
- information security
- knowledge management
- information technology
- cultural heritage
- privacy preserving
- knowledge base