Automatically generating problems and solutions for natural deduction

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 1968-1975

  Ahmed, Umair Z ^a   Gulwani, Sumit ^b   Karkare, Amey ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^b MSR Redmond ^*  (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER-AIDED EDUCATION; CORE COMPONENTS; ENABLING TECHNOLOGIES; INFERENCE RULES; NATURAL DEDUCTION; PROBLEMS AND SOLUTIONS; SOLUTION CHARACTERISTICS; TYPE ARGUMENTS;

COMPUTER AIDED INSTRUCTION;

PROBLEM SOLVING;

EID: 84896061870     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, and Mahesh Viswanathan. Automated grading of dfa constructions. In IJCAI, 2013.
2. Erik Andersen, Sumit Gulwani, and Zoran Popovic. A trace-based framework for analyzing and synthesizing educational progressions. In CHI, 2013.
3. Jon Barwise and John Etchemendy. Hyperproof. CSLI Publications, 1994.
4. Merrie Bergmann. The Logic Book. McGraw-Hill, 5th edition, 2008.
5. Richard Bornat. Jape. http://www.cs.ox.ac.uk/people/bernard.sufrin/ personal/ jape.org.
6. K. Broda, J. Ma, G. Sinnadurai, and A. Summers. Pandora: A reasoning toolbox using natural deduction style. Logic Journal of IGPL, 15(4):293-304, 2007.
7. Jerry Cederblom and David Paulsen. Critical Reasoning. Wadsworth Publishing, 7th edition, 2011.
8. Coq Development Team. The Coq proof assistant reference manual: Version 8.1. 2006.
9. Coursera. Introduction to Logic. https://www.coursera.org/course/ intrologic.
10. Roy Dyckhoff, Neil Leslie, Tom Peillon, Brenda Rapley, Luis Pinto, Andrew Adams, Christian Urban, Jacob Howe, and Others. MacLogic. http://www.cs.st- andrews.ac.uk/ rd/logic/mac.
11. Robert E. Tully Frederic D. Portoraro. Logic with Symlog; Learning Symbolic Logic by Computer. Prentice Hall, Englewood Cliffs USA, 1994.
12. G. Gentzen. Investigations into logical deduction. American philosophical quarterly, 1(4):288-306, 1964.
13. Sumit Gulwani, V.A. Korthikanti, and Ashish Tiwari. Synthesizing geometry constructions. In PLDI, 2011.
14. F. Howard-Snyder, D. Howard-Snyder, and Ryan Wasserman. The Power of Logic. McGraw-Hill, 4th edition, 2008.
15. P.J. Hurley. A Concise Introduction to Logic. Wadsworth Publishing, 11th edition, 2011.
16. Khan Academy. Logical Reasoning. https://www.khanacademy.org/math/ geometry/logicalreasoning/.
17. Donald E. Knuth. The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1. Addison-Wesley Professional, 2011.
18. Open Learning Initiative. Logic & Proofs. http://oli.cmu.edu/courses/ free-open/logic-proofs-coursedetails.
19. W. Sieg. The apros project: Strategic thinking & computational logic. Logic Journal of IGPL, 15(4):359-368, 2007.
20. Rohit Singh, Sumit Gulwani, and Sriram Rajamani. Automatically generating algebra problems. In AAAI, 2012.
21. Rishabh Singh, Sumit Gulwani, and Armando Solar-Lezama. Automated feedback generation for introductory programming assignments. In PLDI, 2013.
22. Nikolai Tillmann and Jonathan de Halleux. Pex-white box test generation for .NET. In TAP, pages 134-153, 2008.
23. H. Van Ditmarsch. User interfaces in natural deduction programs. User Interfaces, 98:87, 1998.
24. Arnold vander Nat. Simple formal logic. With common-sense symbolic techniques. London: Routledge, 2010.
25. C.K.F. Wiedijk and M.H.F. van Raamsdonk. Teaching logic using a state-ofthe-art proof assistant. PATE, page 33, 2007.