Login / Signup
Formal Methods in the Design of Question-Answering Systems.
Erik Sandewall
Published in:
Artif. Intell. (1971)
Keyphrases
</>
formal methods
knowledge based systems
question answering systems
development lifecycle
artificial intelligence
case study
knowledge representation
design process
safety critical
information retrieval
digital libraries
probabilistic model
software engineering