A Logic for Veracity.

Published in: CoRR (2023)

Keyphrases

automated reasoning
modal logic
logic programming
proof theory
machine learning
data sets
multi valued
social networks
information systems
database systems
expert systems
neural network
probabilistic logic
classical logic
computational properties
nonmonotonic logics
real time