On Decidability of a Logic of Gossips.

Krzysztof R. Apt Dominik Wojtczak

Published in: JELIA (2016)

Keyphrases

modal logic
decision procedures
computational properties
description logics
classical logic
proof theory
defeasible logic
query answering
automated reasoning
nonmonotonic logics
data integration
relational databases
case study
learning algorithm
predicate logic
abductive reasoning
deontic logic
data mining