Stochastic Activity Networks for the Verification of Knowledge Bases.
Luke J. W. MartinAlexander B. RomanovskyPublished in: SERENE (2017)
Keyphrases
- knowledge base
- model checking
- description logics
- knowledge based systems
- cellular networks
- stochastic optimization
- background knowledge
- social networks
- computer networks
- knowledge representation systems
- verification method
- formal representation
- network topologies
- formal verification
- telecommunication networks
- network design
- network analysis
- complex networks