Claim Consistency Checking Using Soft Logic.

Nouf Bindris Nello Cristianini Jonathan Lawry

Published in: Mach. Learn. Knowl. Extr. (2020)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
classical logic
logic programming
modal logic
temporal constraints
database
search algorithm
integrity constraints
data exchange
multi valued
cardinal directions