Tierless Programming and Reasoning for Networks.
Shriram KrishnamurthiPublished in: PLAS@ECOOP (2015)
Keyphrases
- programming language
- knowledge representation
- knowledge base
- data sets
- computer networks
- network design
- reasoning process
- reasoning tasks
- social networks
- general purpose
- rule based reasoning
- database
- analogical reasoning
- network size
- reasoning systems
- programming environment
- automated reasoning
- qualitative reasoning
- heterogeneous networks
- network model
- community detection
- network structure
- object oriented