Publication: Giving hints for logic programming examples without revealing solutions [Çözümü Açiǧa Çikarmadan Mantiksal Programlama Örneklerine Ipucu Verme]
| dc.contributor.authors | Avci G., Mehuljic M., Schüller P. | |
| dc.date.accessioned | 2022-03-15T02:11:28Z | |
| dc.date.accessioned | 2026-01-11T18:09:26Z | |
| dc.date.available | 2022-03-15T02:11:28Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking the student to complete small example ASP programs, we introduce a three-stage method for giving hints to the student without revealing the correct solution of an example. We categorize mistakes into (i) syntactic mistakes, (ii) unexpected but syntactically correct input, and (iii) semantic mistakes, describe mathematical definitions of these mistakes, and show how to compute hints from these definitions. © 2016 IEEE. | |
| dc.identifier.doi | 10.1109/SIU.2016.7495790 | |
| dc.identifier.isbn | 9781509016792 | |
| dc.identifier.uri | https://hdl.handle.net/11424/247670 | |
| dc.language.iso | tur | |
| dc.publisher | Institute of Electrical and Electronics Engineers Inc. | |
| dc.relation.ispartof | 2016 24th Signal Processing and Communication Application Conference, SIU 2016 - Proceedings | |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.subject | answer set programming | |
| dc.subject | computer aided learning | |
| dc.subject | logic programming | |
| dc.title | Giving hints for logic programming examples without revealing solutions [Çözümü Açiǧa Çikarmadan Mantiksal Programlama Örneklerine Ipucu Verme] | |
| dc.type | conferenceObject | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 516 | |
| oaire.citation.startPage | 513 | |
| oaire.citation.title | 2016 24th Signal Processing and Communication Application Conference, SIU 2016 - Proceedings |