Literatur im Fachgebiet Informatik kons­isten­z

Eine schlagwort­basierte Auswahl unserer Fachbücher

EvoTrace: Evolution-Aware Trace Retrieval (Doktorarbeit)

EvoTrace: Evolution-Aware Trace Retrieval

Forschungsergebnisse zur Informatik

Requirements Engineering ist eine Forschungstichtung im Fachgebiet Software-Engineering, die sich mit der methodischen Erhebung, Dokumentation, Validierung und Verwaltung von Softwareanforderungen beschäftigt. Eines der zentralen Probleme im Requirements Engineering wird durch die Verzahnung und die Vielzahl von Abhängigkeiten zwischen den verschiedenen…

Anforderungsmanagement Evolution Informatik Information Retrieval Requirements Engineering Software Engineering Traceability
Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien (Forschungsarbeit)

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, nicht–klassische Logiken zur Anwendung gelangen. Das hier…

Informatik KI Künstliche Intelligenz Verarbeitung