Logic and Accuracy Testing: A Fifty-State Review.

Josiah Walker Nakul Bajaj Braden L. Crimmins J. Alex Halderman

Published in: CoRR (2022)

Keyphrases

high accuracy
state space
highly accurate
data sets
computational cost
proof theory
real time
computational properties
classical logic
accuracy rate
literature review
years ago
modal logic
precision and recall
error rate
logic programming
artificial intelligence
information retrieval
machine learning
data mining