<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

A computer tutor for logic semantics

Name: A computer tutor for logic semantics
Creator: Rowe, Neil C.
Keywords: 0209 industrial biotechnology, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 22 Jan 2003Publisher:Stripes Publishing L.L.CJournal:FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH37011, volume 2, pages 12C3/1-12C3/6

Authors: Rowe, Neil C.;

doi: 10.1109/fie.1999.841632

A computer tutor for logic semantics

- Summary
- Metrics

Abstract

The authors report on a computer tutor for the semantics of the Prolog subset of predicate calculus. It gives students statements in English to represent in a single line of Prolog, parses their answers, and compares the parses to the parses of correct answers. The tutor focuses on the correct choice of predicates, variables and link between expressions. Students seem to learn predicate calculus better using the tutor than with paper and pencil exercises.

Related Organizations

Naval Postgraduate School
United States

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average