Showing 1 - 20 results of 30 for search 'Dix, Jürgen', query time: 0.29s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R., Dix, Jürgen 1961-
Call Number: Loading…
Located: Loading… -
2
Nonmonotonic reasoning an overview by Brewka, Gerhard, Dix, Jürgen 1961-, Konolige, Kurt
Published 1997Call Number: Loading…
Located: Loading… -
3
Knowledge representation with logic programs reader by Brewka, Gerhard, Dix, Jürgen 1961-
Published 1997Call Number: Loading…
Located: Loading… -
4
Semantics of logic programs their intuitions and formal properties ; an overview by Dix, Jürgen 1961-
Published 1993Call Number: Loading…
Located: Loading… -
5
Some tendencies in non-monotonic reasoning by Dix, Jürgen 1961-
Published 1991Call Number: Loading…
Located: Loading… -
6
A note on the relationship between KLM and MAK models for nonmonotonic inference operations by Dix, Jürgen 1961-, Makinson, David
Published 1991Call Number: Loading…
Located: Loading… -
7
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Published 1990Call Number: Loading…
Located: Loading… -
8
Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Published 1990Call Number: Loading…
Located: Loading… -
9
A classification theory of semantics of normal logic programs by Dix, Jürgen 1961-
Published 1993Call Number: Loading…
Located: Loading… -
10
A classification theory of semantics of normal logic programs by Dix, Jürgen 1961-
Published 1993Call Number: Loading…
Located: Loading… -
11
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme by Dix, Jürgen 1961-
Published 1992Call Number: Loading…
Located: Loading… -
12
A note on the relationship between KLM and MAK models for nonmonotonic inference operations by Dix, Jürgen 1961-, Makinson, David
Published 1991Call Number: Loading…
Located: Loading… -
13
Some tendencies in non-monotonic reasoning by Dix, Jürgen 1961-
Published 1991Call Number: Loading…
Located: Loading… -
14
Causal models for disjunctive logic prgrams by Dix, Jürgen 1961-, Gottlob, Georg 1956-, Marek, Victor W. 1943-
Published 1993Call Number: Loading…
Located: Loading… -
15
Abstract properties and computational complexity of disjunctive logic programs by Dix, Jürgen 1961-, Müller, Martin
Published 1993Call Number: Loading…
Located: Loading… -
16
On implementing semantics for disjunctive logic programs by Dix, Jürgen 1961-, Müller, Martin
Published 1993Call Number: Loading…
Located: Loading… -
17
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Published 1990Call Number: Loading…
Located: Loading… -
18
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Published 1990Call Number: Loading…
Located: Loading… -
19
Some tendencies in non-monotonic reasoning by Dix, Jürgen 1961-
Call Number: Loading…
Located: Loading… -
20
Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.
Call Number: Loading…
Located: Loading…