UHH>Informatik>NatS>LUSE Web>WebRss (05 Sep 2003, MichaelDaum) Print version
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-us Copyright 2024 by contributing authors Wiki Administrator [wolfgang.menzel@uni-hamburg.de] The contributing authors of Foswiki Foswiki Natural 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.png ThemenGebiete 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:43Z unknown BiblioGrafie 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:43Z unknown TodoDiagnose 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:43Z unknown QuellDateien 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:43Z unknown SemantischeAnalyse 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:43Z unknown WebPreferences 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:43Z unknown LuseHowto 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:43Z unknown ArbeitsGruppe 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:43Z unknown ProjektDokumentation 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:43Z unknown OnlineProlog 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:43Z unknown KonzeptionPrototypDatenbankanfrage 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:43Z unknown BastelKram 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:43Z unknown KonzeptionPrototypRekursion 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:43Z unknown CodeSchnipsel 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:43Z unknown ArbeitsPlan 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:42Z unknown TodoAuswertung https://nats-www.informatik.uni-hamburg.de/bin/view/LUSE/TodoAuswertung Klausurenauswertung * Art der Aufgaben * DB Anfragen (1) * einfache rekursive Programme, Prolog (2) * einfache rekursive Programme, Scheme ... (last changed by UnknownUser) 2012-10-17T19:08:42Z unknown
Warning: Can't find topic LUSE.WebLeftBarExample

 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback