Foswiki's LUSE web
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE
LUSE web: Projekt "Lernumgebungen für die Softwareentwicklung", SoSe 2003, WiSe 2003/2004 (closed) en-usCopyright 2025 by contributing authorsWiki Administrator [wolfgang.menzel@uni-hamburg.de]The contributing authors of FoswikiFoswikiNatural Language Systems, Department of Informatics, Universität Hamburg.LUSE
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE
https://nats-www.informatik.uni-hamburg.de/pub/System/UHH-Logo_2010.pngKonzeptionPrototypDatenbankanfrage
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/KonzeptionPrototypDatenbankanfrage
Eingabe: Datenbankabfrage 1 Typdiagnose * unbekannte Prädikate (Tippfehlerüberprüfung) (done) * Vertauschen von Argumentpositionen (done) * Substitution ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownOnlineProlog
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/OnlineProlog
Hier ist eine Webseite für online Prolog Programmierung. "Prolog in Javascript" ist auf "JavaScript" Sprache geschrieben worden. Das Programm ist nicht eine echte ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownBiblioGrafie
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/BiblioGrafie
Dies ist bestimmt nicht vollständig, nur eine Liste von Büchern, die interessant sein könnten und evtl. sogar in der Bibliothek vorhanden sind. * E. Wenger: Artificial ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownCodeSchnipsel
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/CodeSchnipsel
http_test.pl, plht.pl JSP ähnliche Skriptsprache für Webanwendungen mit Prolog (braucht SWI Prolog 5.1.x) normalform.pl Parsen von Prolog Ausdrücken in ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownProjektDokumentation
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/ProjektDokumentation
* documentation for PLHT is in the doku subdirectory in the CVS YannickVersley 30 Jan 2004 * limitations.tm: Limitations and future developments (TeXmacs) ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownWebPreferences
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/WebPreferences
Foswiki.LUSE Web Preferences * Set WEBTOPICLIST = * Set SITEMAPLIST = on * Set SITEMAPWHAT = Projekt "Lernumgebungen für die Softwareentwicklung", SoSe 2003 ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownThemenGebiete
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/ThemenGebiete
Themengebiete Systeme * SQL Tutor (Univ. of Canterbury, NZ) * PLOT (Osnabrück) * VC Prolog Tutor (Osnabrück) * ELM ART, ELM PE * ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownBastelKram
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/BastelKram
* infer_types.pl: Beispiel, wie man aus einer Prolog Klausel Typen inferieren kann. * typen.pl: leitet aus Typinformation die Klammerung von Scheme Ausdrücken her ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownLuseHowto
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/LuseHowto
this is a description of how to check out, play around with, and finding things in the current LUSE sources. If checking out doesn't work because of file permissions ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownQuellDateien
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/QuellDateien
Hier hängen die Quelldateien in der Version vom 24.10. YannickVersley 24 Oct 2003 (last changed by UnknownUser)2012-10-17T19:08:43ZunknownSemantischeAnalyse
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/SemantischeAnalyse
* Problem: syntaktische, algorithmische Variation * Lösung: abstrakte Repräsentation, die (hoffentlich) auch kognitiv adäquat ist * SAPPs, CDSen, Klischees, ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownArbeitsGruppe
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/ArbeitsGruppe
Aufgabenteilung Hallo Anne und Ralf, dachte dass wir hier im ersten Schritt eine Materialiensammlung usw. machen und dann in einem zweiten Step die Aufteilung. Gru ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownKonzeptionPrototypRekursion
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/KonzeptionPrototypRekursion
Rekursion 1. Type inference (done) * implemented in infer_types.pl * detects stupid errors (list used as a number etc.) * provides information about argument ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownTodoDiagnose
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/TodoDiagnose
Diagnosekomponente für DB Abfragen * Typüberprüfung * Koreferenz * Constraints * automatisches Schliessen von Constraints aus einer Musterlösung * Feedbackgenerierung ... (last changed by UnknownUser)2012-10-17T19:08:43ZunknownArbeitsPlan
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/ArbeitsPlan
23.4.2003 SQL Tutor (ManuchehrSadeghian) 30.4.2003 Ideenskizze Constraint basierte Diagnose (Menzel) 7.5.2003 Semantische Repräsentationen (Yannick Versley ... (last changed by UnknownUser)2012-10-17T19:08:42ZunknownIdeenSammlung
https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/IdeenSammlung
Merkpunkte * Web basiert vs. off line Betrieb * abgestuftes Feedback, aber besserer Zugriff * Aufgabenempfehlungen aufgrund bisheriger Fehler * Leseempfehlungen ... (last changed by UnknownUser)2012-10-17T19:08:42Zunknown