On the Decidability of Behavioral Equivalences for (P, P)-PRS.
Irina A. LomazovaVladimir A. BashkinPublished in: CoRR (2021)
Keyphrases
- peer to peer
- description logics
- query answering
- peer to peer computing
- scalable distributed
- connected components
- data sharing
- relational algebra
- agent architecture
- operational semantics
- overlay network
- file sharing
- mental states
- decision procedures
- resource discovery
- human behavior
- fully distributed
- neural network
- distributed network
- multiagent systems
- distributed hash table
- knowledge base