Author of the publication

Heuristic and Formal Methods in Automatic Program Debugging.

. IJCAI, page 15-19. Morgan Kaufmann, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic program debugging for intelligent tutoring systems.. Computational Intelligence, (1987)Intelligent Tutoring Systems for Commercial Games: The Virtual Combat Training Center Tutor and Simulation.. AIIDE, page 66-71. The AAAI Press, (2006)Augmenting WordNet for Deep Understanding of Text., , , , , and . STEP, Association for Computational Linguistics, (2008)Heuristic and Formal Methods in Automatic Program Debugging.. IJCAI, page 15-19. Morgan Kaufmann, (1985)Control for Intelligent Tutoring Systems: A Blackboard-based Dynamic Instructional Planer.. AI Commun., 2 (2): 41-57 (1989)Statistical Relational Learning in Student Modeling for Intelligent Tutoring Systems.. AIED, volume 6738 of Lecture Notes in Computer Science, page 516-518. Springer, (2011)Breaking the ITS Monolith: a Hybrid Simulation and Tutoring Architecture for ITS.. AIED, volume 125 of Frontiers in Artificial Intelligence and Applications, page 890-892. IOS Press, (2005)A Blackboard-based Dynamic Instructional Planner.. AAAI, page 434-441. AAAI Press / The MIT Press, (1990)Interpreting Spatiotemporal Expressions from English to Fuzzy Logic., , and . RuleML, volume 8035 of Lecture Notes in Computer Science, page 226-233. Springer, (2013)Naturalness vs. Predictability: A Key Debate in Controlled Languages., , , and . CNL (Pre-Proceedings), volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)