A Framework for Automated Generation of Questions Based on First-Order Logic.

Rahul Singhal Martin Henz Shubham Goyal

Published in: AIED (2015)

Keyphrases

first order logic
expressive power
representation language
theorem proving
inference rules
propositional logic
probabilistic graphical models
constraint databases
theorem prover
probabilistic reasoning
transitive closure
knowledge representation
markov networks
markov logic
artificial intelligence