Unique parallel decomposition in branching and weak bisimulation semantics.
Bas LuttikPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- logic programming
- branch and bound
- parallel processing
- parallel implementation
- default reasoning
- distributed memory
- relational databases
- computer architecture
- conceptual model
- search tree
- shared memory
- formal semantics
- model theoretic
- neural network
- decomposition method
- denoising
- objective function
- multiscale
- knowledge base