Neighborhood Contingency Logic.

Jie Fan Hans van Ditmarsch

Published in: ICLA (2015)

Keyphrases

classical logic
databases
modal logic
logic programming
computational properties
sound and complete axiomatization
database
data mining
genetic algorithm
learning algorithm
information systems
probabilistic logic
predicate logic
deductive reasoning