Automatic question generation for propositional logical equivalences.

Yicheng Yang Xinyu Wang Haoming Yu Zhiyuan Li

Published in: CoRR (2024)

Keyphrases

probabilistic logic
semi automatic
real time
databases
connected components
propositional logic
predicate calculus
logical theories
machine learning
information retrieval
case study
fully automatic
relational algebra
multi valued
epistemic states
satisfiability testing