Sufficient Incorrectness Logic: SIL and Separation SIL.

Flavio Ascari Roberto Bruni Roberta Gori Francesco Logozzo

Published in: CoRR (2023)

Keyphrases

predicate logic
image processing
logic programming
classical logic
database
data sets
decision making
knowledge base
optimal solution
query language
logical framework