Treffer 1 – 20 von 28 für Suche 'Dix, Jürgen 1961-', Suchdauer: 0,05s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R., Dix, Jürgen 1961-
Signatur: Wird geladen …
Standort: Wird geladen … -
2
Nonmonotonic reasoning an overview von Brewka, Gerhard, Dix, Jürgen 1961-, Konolige, Kurt
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
3
Knowledge representation with logic programs reader von Brewka, Gerhard, Dix, Jürgen 1961-
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
4
Semantics of logic programs their intuitions and formal properties ; an overview von Dix, Jürgen 1961-
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
5
Some tendencies in non-monotonic reasoning von Dix, Jürgen 1961-
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
6
A note on the relationship between KLM and MAK models for nonmonotonic inference operations von Dix, Jürgen 1961-, Makinson, David
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
7
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen … -
8
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen … -
9
A classification theory of semantics of normal logic programs von Dix, Jürgen 1961-
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
10
A classification theory of semantics of normal logic programs von Dix, Jürgen 1961-
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
11
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme von Dix, Jürgen 1961-
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen … -
12
A note on the relationship between KLM and MAK models for nonmonotonic inference operations von Dix, Jürgen 1961-, Makinson, David
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
13
Some tendencies in non-monotonic reasoning von Dix, Jürgen 1961-
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
14
Some tendencies in non-monotonic reasoning von Dix, Jürgen 1961-
Signatur: Wird geladen …
Standort: Wird geladen … -
15
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Signatur: Wird geladen …
Standort: Wird geladen … -
16
Causal models for disjunctive logic prgrams von Dix, Jürgen 1961-, Gottlob, Georg 1956-, Marek, Victor W. 1943-
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
17
Abstract properties and computational complexity of disjunctive logic programs von Dix, Jürgen 1961-, Müller, Martin
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
18
On implementing semantics for disjunctive logic programs von Dix, Jürgen 1961-, Müller, Martin
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
19
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen … -
20
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 von Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …