Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining.
Jérémy BessonIeva MitasiunaiteAudrone LupeikieneJean-François BoulicautPublished in: BIS (2010)
Keyphrases
- temporal logic
- web portal
- data mining
- model checking
- modal logic
- linear temporal logic
- web portals
- computation tree logic
- graphical user interface
- real world
- temporal knowledge
- digital government
- belief revision
- machine learning
- knowledge management
- information seeking
- website
- verification method
- mazurkiewicz traces
- data analysis
- transition systems
- case study
- geographic information systems
- metadata
- decision making
- artificial intelligence
- information retrieval
- database