Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
QUIP--Eine Plattform zur Loesung komplexer Inferenzaufgaben
01.07.2001 - 31.10.2004
Forschungsförderungsprojekt
Personen
Projektleiter_in
Ao.Univ.Prof. Dipl.-Ing. Dr.rer.nat. Uwe Egly
(E184)
Projektmitarbeiter_innen
Univ.Prof. Dipl.-Ing. Dr.techn. Stefan Woltran
(E184)
Institut
E184 - Institut für Informationssysteme
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Schlagwörter
Deutsch
Englisch
automatisches Beweisen
automated theorem proving
Nichtmonotones Schliessen
non-monotonic reasoning
quantifizierte boolesche Formeln
quantified boolean formulas
Wissensverarbeitung
knowledge processing
nichtklassische Logiken
non-classical logics