Fully Evaluated Left-Sequential Logics.

Alban Ponse Daan J. C. Staudt

Published in: CoRR (2024)

Keyphrases

expressive power
modal logic
inference rules
computational properties
data sets
neural network
computer vision
e learning
image processing
expert systems
proof theory