Linear Algebraic Abduction with Partial Evaluation.

Tuan Nguyen Quoc Katsumi Inoue Chiaki Sakama

Published in: PADL (2023)

Keyphrases

partial evaluation
explanation based generalization
logic programming
background knowledge
active learning
higher order
knowledge acquisition
domain theory
data mining
software engineering
data exchange
abductive reasoning