Publikation:

A Prolog-based Tutor for Multi-Column Subtraction with Multiple Algorithms Support

Vorschaubild

Dateien

Zinn_245698.pdf
Zinn_245698.pdfGröße: 357.01 KBDownloads: 404

Datum

2013

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-245698
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-642-40942-4_31
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

TIMM, Ingo J., ed., Matthias THIMM, ed.. KI 2013: Advances in Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 308-311. Lecture Notes in Computer Science. 8077. ISBN 978-3-642-40941-7. Available under: doi: 10.1007/978-3-642-40942-4_31

Zusammenfassung

We present an intelligent tutoring system capable of analysing learner input across multiple reference models. Its main component, the diagnoser, is build upon logic programming techniques. It uses a novel variant of Shapiro’s algorithmic debugging method, whose scientific aspect is described in our full technical contribution to KI-13 [3]. In this poster, we show the use of the diagnoser in the overall tutoring system.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690ZINN, Claus, 2013. A Prolog-based Tutor for Multi-Column Subtraction with Multiple Algorithms Support. In: TIMM, Ingo J., ed., Matthias THIMM, ed.. KI 2013: Advances in Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 308-311. Lecture Notes in Computer Science. 8077. ISBN 978-3-642-40941-7. Available under: doi: 10.1007/978-3-642-40942-4_31
BibTex
@inproceedings{Zinn2013Prolo-24569,
  year={2013},
  doi={10.1007/978-3-642-40942-4_31},
  title={A Prolog-based Tutor for Multi-Column Subtraction with Multiple Algorithms Support},
  number={8077},
  isbn={978-3-642-40941-7},
  publisher={Springer Berlin Heidelberg},
  address={Berlin, Heidelberg},
  series={Lecture Notes in Computer Science},
  booktitle={KI 2013: Advances in Artificial Intelligence},
  pages={308--311},
  editor={Timm, Ingo J. and Thimm, Matthias},
  author={Zinn, Claus}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/24569">
    <dcterms:bibliographicCitation>KI-2013 : Advances in Artificial Intelligence ; 36th Annual German Conference on AI Koblenz, Germany, September 16-20, 2013, proceedings / Ingo J. Timm ... (eds.). - Berlin [u.a.] : Springer, 2013. - S. 308-311. - (Lecture Notes in Computer Science ; 8077 : LNAI). - ISBN 978-364-24094-1-7</dcterms:bibliographicCitation>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24569/1/Zinn_245698.pdf"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24569/1/Zinn_245698.pdf"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24569"/>
    <dc:creator>Zinn, Claus</dc:creator>
    <dc:contributor>Zinn, Claus</dc:contributor>
    <dcterms:title>A Prolog-based Tutor for Multi-Column Subtraction with Multiple Algorithms Support</dcterms:title>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:language>eng</dc:language>
    <dcterms:abstract xml:lang="eng">We present an intelligent tutoring system capable of analysing  learner input across multiple reference models. Its main component, the diagnoser, is build upon logic programming techniques. It uses a novel variant of Shapiro’s algorithmic debugging method, whose scientific aspect is described in our full technical contribution to KI-13 [3]. In this poster, we show the use of the diagnoser in the overall tutoring system.</dcterms:abstract>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-11-08T08:38:14Z</dc:date>
    <dcterms:issued>2013</dcterms:issued>
    <dc:rights>terms-of-use</dc:rights>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen