Provably Correct Graph Transformations with Small-tALC.
Nadezhda BaklanovaJon Haël BrenasRachid EchahedChristian PerceboisMartin StreckerHanh Nhi TranPublished in: ICTERI (2015)
Keyphrases
- provably correct
- formal methods
- random walk
- situation calculus
- small number
- graph theoretic
- graph theory
- graph representation
- spanning tree
- bipartite graph
- graph model
- weighted graph
- graph structure
- directed acyclic graph
- link analysis
- artificial intelligence
- graph matching
- structured data
- graphical models
- web services
- information systems