Report on ACM SIGIR workshop on mathematical/formal methods in information retrieval.
Sándor DominichMounia LalmasKeith van RijsbergenPublished in: SIGIR Forum (2002)
Keyphrases
- formal methods
- information retrieval
- model checking
- model checker
- artificial intelligence
- formal specification
- knowledge based systems
- formal analysis
- software engineering
- safety critical
- provably correct
- process algebra
- security properties
- conference proceedings
- machine learning
- modeling language
- knowledge acquisition
- computational linguistics
- web services
- invited paper
- special session
- development lifecycle
- acm conference