- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 1995
- Identifier
-
972338357
Thema
Wahrscheinlichkeit ; Default-Logik ; Wahrscheinlichkeit ; Default-Logik; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Jaeger, Manfred
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Objekttyp
- Monografie
Beteiligte
- Jaeger, Manfred
Ähnliche Objekte (12)
Composition of hierarchic default specifications
An introduction to default logic
A resolution-based calculus for temporal logics
Reasoning and revision in hybrid representation systems
Resolution-based decision procedures for subclasses of first-order logic
Equality and extensionality in automated higher-order theorem proving
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Interval, probabilistic uncertainty and non-classical logics
Resolution-based methods for linear temporal reasoning
Investigations in Belnap's logic of inconsistent and unknown information
Default Reasoning about Actions
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Composition of hierarchic default specifications
An introduction to default logic
A resolution-based calculus for temporal logics
Reasoning and revision in hybrid representation systems
Resolution-based decision procedures for subclasses of first-order logic
Equality and extensionality in automated higher-order theorem proving
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Interval, probabilistic uncertainty and non-classical logics
Resolution-based methods for linear temporal reasoning
Investigations in Belnap's logic of inconsistent and unknown information
Default Reasoning about Actions
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Composition of hierarchic default specifications
An introduction to default logic
A resolution-based calculus for temporal logics
Reasoning and revision in hybrid representation systems
Resolution-based decision procedures for subclasses of first-order logic
Equality and extensionality in automated higher-order theorem proving
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Interval, probabilistic uncertainty and non-classical logics
Resolution-based methods for linear temporal reasoning
Investigations in Belnap's logic of inconsistent and unknown information
Default Reasoning about Actions