1. ScholarBank@NUS
  2. 2. Students
  3. ETD
  4. Ph.D Theses (Closed)
Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/239067
DC FieldValue
dc.titleTOWARDS AUTOMATIC GENERATION OF QUESTIONS ACROSS FORMAL DOMAINS
dc.contributor.authorRAHUL SINGHAL
dc.date.accessioned2023-04-30T18:00:57Z
dc.date.available2023-04-30T18:00:57Z
dc.date.issued2016-03-31
dc.identifier.citationRAHUL SINGHAL (2016-03-31). TOWARDS AUTOMATIC GENERATION OF QUESTIONS ACROSS FORMAL DOMAINS. ScholarBank@NUS Repository.
dc.identifier.urihttps://scholarbank.nus.edu.sg/handle/10635/239067
dc.language.isoen
dc.subjectQuestion generation, First order logic, Deductive reasoning, Generic framework, Handling difficulty, Rules-based system
dc.typeThesis
dc.contributor.departmentCOMPUTER SCIENCE
dc.contributor.supervisorMartin Joachim Henz
dc.contributor.supervisorMcGee, Kevin
dc.description.degreePh.D
dc.description.degreeconferredDOCTOR OF PHILOSOPHY (SOC)
Appears in Collections:Ph.D Theses (Closed)

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.