Suchergebnisse - Dix, Jürgen 1961-
- Treffer 1 – 20 von 28
- Zur nächsten Seite
-
1Nonmonotonic reasoning: an overviewVeröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Semantics of logic programs: their intuitions and formal properties ; an overviewVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Some tendencies in non-monotonic reasoningBand 1 - The main approachesvon Dix, Jürgen 1961-Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4A note on the relationship between KLM and MAK models for nonmonotonic inference operationsVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen LogikenBand 1 - Seminar WS 89/90von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen LogikenBand 2 - Seminar WS 89/90von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7A classification theory of semantics of normal logic programsBand 1 - Strong propertiesvon Dix, Jürgen 1961-Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8A classification theory of semantics of normal logic programsBand 2 - Weak propertiesvon Dix, Jürgen 1961-Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer ProgrammeVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Causal models for disjunctive logic prgramsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Abstract properties and computational complexity of disjunctive logic programsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12On implementing semantics for disjunctive logic programsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13A note on the relationship between KLM and MAK models for nonmonotonic inference operationsVeröffentlicht 1991Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
14Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen LogikenSignatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
15Knowledge representation with logic programs: readerVeröffentlicht 1997Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
16Some tendencies in non-monotonic reasoningBand 1. The main approaches. - 1991. - 40 S. - (... ; 90,15)von Dix, Jürgen 1961-Veröffentlicht 1991Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
17Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken: Seminar WS 89/90Band 1. (1990). - XIX, 131 S. - (... ; 90,13)von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.Veröffentlicht 1990Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
18Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken: Seminar WS 89/90Band 2. (1990). - X, 91 S. - (... ; 90,14)von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.Veröffentlicht 1990Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
19Some tendencies in non-monotonic reasoningSignatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
20Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken: Seminar WS 89/90Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen …