Countability of Inductive Types Formalized in the Object-Logic Level.

Qinxiang Cao Xiwei Wu

Published in: LFMTP (2021)

Keyphrases

object level
d objects
deductive reasoning
machine learning
inductive learning
levels of abstraction
pixel level
object oriented
logic programming
keypoints
modal logic
logic programs
complex objects
classical logic
predicate logic
inductive reasoning