Open Problems in a Logic of Gossips.

Krzysztof R. Apt Dominik Wojtczak

Published in: TARK (2019)

Keyphrases

open problems
database theory
long standing
logic programming
classical logic
data sets
modal logic
defeasible logic
proof theory
asynchronous circuits
predicate logic
computational properties
multi valued
logic programs
automated reasoning
deontic logic
description logics
query processing