Distributed Automata and Logic.

Published in: CoRR (2018)

Keyphrases

distributed systems
distributed environment
cooperative
logic programming
multi agent
classical logic
database
learning algorithm
lightweight
communication cost
distributed data
loosely coupled
defeasible logic
probabilistic automata