Login / Signup
Domain Analysis and Description - Sorts, Types, Intents.
Dines Bjørner
Published in:
Formal Methods in Outer Space (2021)
Keyphrases
</>
domain specific
domain experts
automatic analysis
database
machine learning
knowledge base
case study
data structure
search algorithm
digital libraries
domain knowledge
domain independent