Modelling Digital Libraries Based on Logic.
Carlo MeghiniNicolas SpyratosTsuyoshi SugibuchiPublished in: ECDL (2010)
Keyphrases
- digital libraries
- logic programming
- metadata
- classical logic
- multimedia
- advanced technology
- modal logic
- cultural heritage
- document image analysis
- digital library systems
- proof theory
- epistemic logic
- multi valued
- user centred
- technology advances
- database
- bibliographic information
- digital content
- information technology
- artificial intelligence