Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044133611> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2044133611 abstract "The FOL to CF system is a web-based interactive system that aims at helping students in learning converting first order logic (FOL) formulas to their clause form (CF). In this paper, we present a system for automatic marking FOL to CF conversion exercises with feedback. First, the system checks a student's answers in order to spot and recognize errors made. This is done after having analyzed each clause. Second, it automatically marks the answers based on the types of the errors and the structure of the clause. Each error type has a different contribution (weight) in the final mark. The final mark is composed of partial marks concerning different structural elements of a clause. By using the automatic marking system, we can mark tests automatically and also collect information about the learning status of each student. Also, it is able to provide feedback on errors made by students through interacting with them. Experimental results show good agreement between the system and the tutor. Also, questionnaire based evaluation shows satisfaction of the students from using the system." @default.
- W2044133611 created "2016-06-24" @default.
- W2044133611 creator A5013384377 @default.
- W2044133611 creator A5039874465 @default.
- W2044133611 creator A5046246683 @default.
- W2044133611 date "2012-08-01" @default.
- W2044133611 modified "2023-09-26" @default.
- W2044133611 title "An automatic marking system for FOL to CF conversions" @default.
- W2044133611 cites W1524049709 @default.
- W2044133611 cites W1546215871 @default.
- W2044133611 cites W1569508703 @default.
- W2044133611 cites W1597488273 @default.
- W2044133611 cites W183318941 @default.
- W2044133611 cites W1991140109 @default.
- W2044133611 cites W2070405152 @default.
- W2044133611 cites W2086642376 @default.
- W2044133611 cites W2108578782 @default.
- W2044133611 cites W2117173647 @default.
- W2044133611 cites W2124023547 @default.
- W2044133611 cites W2320875308 @default.
- W2044133611 doi "https://doi.org/10.1109/tale.2012.6360317" @default.
- W2044133611 hasPublicationYear "2012" @default.
- W2044133611 type Work @default.
- W2044133611 sameAs 2044133611 @default.
- W2044133611 citedByCount "4" @default.
- W2044133611 countsByYear W20441336112013 @default.
- W2044133611 countsByYear W20441336112014 @default.
- W2044133611 countsByYear W20441336112016 @default.
- W2044133611 crossrefType "proceedings-article" @default.
- W2044133611 hasAuthorship W2044133611A5013384377 @default.
- W2044133611 hasAuthorship W2044133611A5039874465 @default.
- W2044133611 hasAuthorship W2044133611A5046246683 @default.
- W2044133611 hasConcept C10138342 @default.
- W2044133611 hasConcept C154945302 @default.
- W2044133611 hasConcept C162324750 @default.
- W2044133611 hasConcept C182306322 @default.
- W2044133611 hasConcept C199360897 @default.
- W2044133611 hasConcept C204321447 @default.
- W2044133611 hasConcept C2778371403 @default.
- W2044133611 hasConcept C41008148 @default.
- W2044133611 hasConceptScore W2044133611C10138342 @default.
- W2044133611 hasConceptScore W2044133611C154945302 @default.
- W2044133611 hasConceptScore W2044133611C162324750 @default.
- W2044133611 hasConceptScore W2044133611C182306322 @default.
- W2044133611 hasConceptScore W2044133611C199360897 @default.
- W2044133611 hasConceptScore W2044133611C204321447 @default.
- W2044133611 hasConceptScore W2044133611C2778371403 @default.
- W2044133611 hasConceptScore W2044133611C41008148 @default.
- W2044133611 hasLocation W20441336111 @default.
- W2044133611 hasOpenAccess W2044133611 @default.
- W2044133611 hasPrimaryLocation W20441336111 @default.
- W2044133611 hasRelatedWork W163565582 @default.
- W2044133611 hasRelatedWork W2067647181 @default.
- W2044133611 hasRelatedWork W2100672045 @default.
- W2044133611 hasRelatedWork W2310224139 @default.
- W2044133611 hasRelatedWork W2751540224 @default.
- W2044133611 hasRelatedWork W2802871129 @default.
- W2044133611 hasRelatedWork W3018664782 @default.
- W2044133611 hasRelatedWork W3089213412 @default.
- W2044133611 hasRelatedWork W3119970333 @default.
- W2044133611 hasRelatedWork W3145651722 @default.
- W2044133611 hasRelatedWork W3176395121 @default.
- W2044133611 hasRelatedWork W3202424893 @default.
- W2044133611 hasRelatedWork W2816619395 @default.
- W2044133611 hasRelatedWork W2841557493 @default.
- W2044133611 hasRelatedWork W2889463627 @default.
- W2044133611 hasRelatedWork W2929662588 @default.
- W2044133611 hasRelatedWork W2930105127 @default.
- W2044133611 hasRelatedWork W2942734601 @default.
- W2044133611 hasRelatedWork W2994387701 @default.
- W2044133611 hasRelatedWork W3039911583 @default.
- W2044133611 isParatext "false" @default.
- W2044133611 isRetracted "false" @default.
- W2044133611 magId "2044133611" @default.
- W2044133611 workType "article" @default.