🚀 go-pugleaf

From: ak@sol.cs.uni-sb.de (Alfred Kobsa)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri, 11 Oct 91 17:11:44 +0100
Subject: <mod-ki 0774> Zwei KI-Stellen in Konstanz
Keywords: Stellen

mod-ki message 0774
************************************************************************
Prof. Dr. Alfred Kobsa
AG Wissensbasierte Informationsysteme
FG Informationswissenschaft
Universitaet Konstanz
7750 Konstanz 1

Tel.: 07531/88-3593
E-mail: kobsa@lindau.inf-wiss.ivp.uni-konstanz.de


                     MITARBEITERSTELLEN IM BEREICH
             WISSENSREPRAESENTATION - BENUTZERMODELLIERUNG

An der Universitaet Konstanz sind  ab  1.10.1991  die  folgenden  beiden
Stellen  im  Rahmen  des   DFG-Projekts   "BGP-MS:  Werkzeugsystem  fuer
Benutzermodellierung' zu besetzen:

1) Wissenschaftliche(r) Mitarbeiter(in) BAT IIa

Im Rahmen dieser Stelle soll der in der Benutzermodellierung  verwendete
Partitionsansatz   zur   Glaubensrepraesentation   mit    modallogischer
Repraesentation     verbunden      werden.      Insbesondere      sollen
Verbindungsmoeglichkeiten   zwischen   dem   Partitionsverwaltungssystem
SB-PART  und  Ohlbach's  "Context Logic"  untersucht  und  implementiert
werden.  Mitwirkung in der Lehre nach Absprache wird ebenfalls erwartet.

Der/die "Idealkandidat(in)"  sollte  gute  Kenntnisse  im  automatischen
Beweisen, Modallogik, Wissensrepraesentation, UNIX und Commonlisp (evtl.
CLOS und CLIM)) sowie SB-ONE haben.

2) Wissenschaftliche(r) Mitarbeiter(in) BAT IIa

Im Rahmen  dieser  Stelle  soll  das  Benutzermodellierungs-Shell-System
BGP-MS  mit  Inferenzfaehigkeiten   ausgestattet   werden.   Es   sollen
Stereotypenvererbung sowie die Einbindung von Regeln und  Prolog  naeher
untersucht und implementiert werden. Interesse fuer  Default-Logik  oder
Truth Maintenance  kann  bei  der  Aufgabenbeschreibung  beruecksichtigt
werden. Mitwirkung in der Lehre nach Absprache wird ebenfalls  erwartet.

Der/die    "Idealkandidat(in)"     sollte     gute     Kenntnisse     in
Wissensrepraesentation,   Prolog,   Benutzermodellierung,    UNIX    und
Commonlisp (evtl. CLOS und CLIM) und SB-ONE haben  sowie  Erfahrung  mit
der Entwicklung groesserer KI-Software-Systeme mitbringen.

Beide Stellen sind ab  1.1.1992  zu  besetzen  (evtl. auch frueher)  und
vorerst auf zwei Jahre befristet.  Promotionsmoeglichkeit  ist  gegeben.
Die Arbeiten sollen auf SPARCstations durchgefuehrt werden. Es existiert
bereits  ein  SUN-Netz  mit  Internet-Verbindung.  Vorhandene  Macs  und
MS-DOS-Rechner koennen mitbenutzt werden.  Hervorzuheben  ist  auch  die
gute Qualitaet der zentralen Universitaetsbibliothek. Auf die attraktive
Lage sowohl der Universitaet als auch  der  Stadt  Konstanz  braucht  ja
nicht eigens hingewiesen zu werben.

Naehere Informationen koennen gerne bei mir angefordert werden.
************************************************************************