Formal Methods, Artificial Intelligence, Big-Data Analytics, and Knowledge Engineering in Medical Care to Reduce Disease Burden and Health Disparities.
Sakthi GaneshAsoke K. TalukderPublished in: BDA (2018)
Keyphrases
- knowledge engineering
- formal methods
- medical care
- artificial intelligence
- knowledge based systems
- software engineering
- big data analytics
- expert systems
- knowledge acquisition
- knowledge representation
- domain knowledge
- case based reasoning
- big data
- expert knowledge
- knowledge base
- model checking
- machine learning
- management system
- social media
- computer science
- natural language
- information extraction
- software systems
- modeling language
- information systems
- information retrieval
- databases