Veränderliche Welten und modale Ausdrucksweisen — 2., überarbeitete und erweiterte Auflage (Deutsch)
- Neue Suche nach: Prof. Dr. rer. nat. Richter, Michael M.
- Neue Suche nach: Prof. Dr. rer. nat. Richter, Michael M.
In:
Prinzipien der Künstlichen Intelligenz
;
153-166
;
1992
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Veränderliche Welten und modale Ausdrucksweisen
-
Beteiligte:Prof. Dr. rer. nat. Richter, Michael M. ( Autor:in )
-
Erschienen in:Prinzipien der Künstlichen Intelligenz ; 153-166
-
Ausgabe:2., überarbeitete und erweiterte Auflage
-
Verlag:
- Neue Suche nach: Vieweg+Teubner Verlag
-
Erscheinungsort:Wiesbaden
-
Erscheinungsdatum:01.01.1992
-
Format / Umfang:14 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Deutsch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 5
-
VorbemerkungenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 11
-
Syntax und Semantik der PrädikatenlogikProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 31
-
Allgemeine deduktive MethodenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 51
-
Der Spezialfall der Gleichheit, ReduktionssystemeProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 68
-
Prädikatenlogik und deklaratives Programmieren; RegelsystemeProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 100
-
Der praktische Gebrauch der logischen SymboleProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 111
-
Unzulänglichkeiten der PrädikatenlogikProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 116
-
Prädikatenlogik höherer StufeProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 120
-
Spezielle Darstellungsarten und InferenzmechanismenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 153
-
Veränderliche Welten und modale AusdrucksweisenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 167
-
Induktive Logik, Hypothesenbildung und AnalogieschlüsseProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 175
-
Nichtmonotonie und RevisionsmechanismenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 185
-
Die Logik von Frage und AntwortProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 193
-
Allgemeine VorbemerkungenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 205
-
Behandlung von Unsicherheit und VagheitProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 233
-
SuchverfahrenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 252
-
Modellierung zeitlichen VerhaltensProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 271
-
Abstraktion und qualitatives SchließenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 285
-
ErklärungProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 296
-
Wissensakquisition und LernenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 309
-
Analytische und synthetische SystemeProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 342
-
Entscheidungsunterstützende SystemeProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 347
-
Expertensysteme und DatenbankenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 354
-
KI-ProgrammiersprachenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992
- 365
-
Aspekte der KognitionswissenschaftenProf. Dr. rer. nat. Richter, Michael M. et al. | 1992