ACM SIGIR 2000 Workshop on Mathematical/Formal Methods in Information Retrieval.
Sándor DominichMounia LalmasC. J. van RijsbergenPublished in: SIGIR Forum (2000)
Keyphrases
- formal methods
- information retrieval
- formal specification
- formal analysis
- knowledge based systems
- provably correct
- model checker
- software engineering
- process algebra
- model checking
- artificial intelligence
- safety critical
- formal specification language
- web services
- machine learning
- selected papers
- invited paper
- acm conference