Extending Propositional Separation Logic for Robustness Properties.

Alessio Mansutti

Published in: FSTTCS (2018)

Keyphrases

multi valued
sound and complete axiomatization
probabilistic logic
logic programming
general logic programs
relational databases
first order logic
computational efficiency
horn clauses
deductive reasoning
data sets
bayesian networks
modal logic
formal language
propositional theories