Learning from Łukasiewicz and Meredith: Investigations into Proof Structures.

Christoph Wernhard Wolfgang Bibel

Published in: CADE (2021)

Keyphrases

learning algorithm
learning process
decision making
inductive inference
machine learning
social networks
active learning
mobile robot
support vector machine
online learning
learning systems
learning problems
inductive learning
elementary school