The logic of gossiping.
Hans van DitmarschWiebe van der HoekLouwe B. KuijerPublished in: Artif. Intell. (2020)
Keyphrases
- classical logic
- logic programming
- image processing
- automated reasoning
- real time
- sound and complete axiomatization
- deductive reasoning
- multi valued
- modal logic
- data sets
- logic programs
- case study
- horn clauses
- e learning
- predicate logic
- abductive reasoning
- deontic logic
- asynchronous circuits
- proof theory
- logical operations
- logic synthesis
- database