Login / Signup
On Network Topologies and the Decidability of Reachability Problem.
C. Aiswarya
Published in:
NETYS (2020)
Keyphrases
</>
network topologies
network topology
description logics
query answering
state space
transitive closure
network reliability
network evolution
random graphs
decision procedures
interacting agents
network nodes
type checking
incomplete information
ad hoc networks
heuristic search
knowledge representation
peer to peer