ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
Sankha Narayan GuriaNiki VazouMarco GuarnieriJames ParkerPublished in: CoRR (2022)
Keyphrases
- domain knowledge
- knowledge base
- knowledge acquisition
- information retrieval
- expert systems
- knowledge discovery
- machine learning
- knowledge extraction
- expert knowledge
- background knowledge
- domain experts
- knowledge management
- knowledge based systems
- information technology
- multi agent systems
- knowledge sources
- genetic algorithm
- knowledge transfer
- database
- multiple types
- program synthesis