Search Results - Dix, Jürgen 1961-

Filter by
  1. 1
    Cover Image

    Nonmonotonic reasoning: an overview
    by Brewka, Gerhard, Dix, Jürgen 1961-, Konolige, Kurt

    Published 1997
    Book


    Saved in:
  2. 2
    Cover Image

    Semantics of logic programs: their intuitions and formal properties ; an overview
    by Dix, Jürgen 1961-

    Published 1993
    Book


    Saved in:
  3. 3
    Cover Image

    Some tendencies in non-monotonic reasoning
    Band 1 - The main approaches
    by Dix, Jürgen 1961-

    Published 1991
    Book


    Saved in:
  4. 4
    Cover Image

    A note on the relationship between KLM and MAK models for nonmonotonic inference operations
    by Dix, Jürgen 1961-, Makinson, David

    Published 1991
    Book


    Saved in:
  5. 5
    Cover Image

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken
    Band 1 - Seminar WS 89/90
    by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book


    Saved in:
  6. 6
    Cover Image

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken
    Band 2 - Seminar WS 89/90
    by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book


    Saved in:
  7. 7
    Cover Image

    Causal models for disjunctive logic prgrams
    by Dix, Jürgen 1961-, Gottlob, Georg 1956-, Marek, Victor W. 1943-

    Published 1993
    Book


    Saved in:
  8. 8
    Cover Image

    Abstract properties and computational complexity of disjunctive logic programs
    by Dix, Jürgen 1961-, Müller, Martin

    Published 1993
    Book


    Saved in:
  9. 9
    Cover Image

    On implementing semantics for disjunctive logic programs
    by Dix, Jürgen 1961-, Müller, Martin

    Published 1993
    Book


    Saved in:
  10. 10
    Cover Image

    A classification theory of semantics of normal logic programs
    Band 1 - Strong properties
    by Dix, Jürgen 1961-

    Published 1993
    Book


    Saved in:
  11. 11
    Cover Image

    A classification theory of semantics of normal logic programs
    Band 2 - Weak properties
    by Dix, Jürgen 1961-

    Published 1993
    Book


    Saved in:
  12. 12
    Cover Image

    Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme
    by Dix, Jürgen 1961-

    Published 1992
    Book


    Saved in:
  13. 13
    Cover Image

    A note on the relationship between KLM and MAK models for nonmonotonic inference operations
    by Dix, Jürgen 1961-, Makinson, David

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    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-

    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Knowledge representation with logic programs: reader
    by Brewka, Gerhard, Dix, Jürgen 1961-

    Published 1997
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  16. 16
    Cover Image

    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken: Seminar WS 89/90
    Band 1. (1990). - XIX, 131 S. - (... ; 90,13)
    by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken: Seminar WS 89/90
    Band 2. (1990). - X, 91 S. - (... ; 90,14)
    by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Some tendencies in non-monotonic reasoning
    Band 1. The main approaches. - 1991. - 40 S. - (... ; 90,15)
    by Dix, Jürgen 1961-

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Some tendencies in non-monotonic reasoning
    by Dix, Jürgen 1961-

    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    A classification theory of semantics of normal logic programs
    by Dix, Jürgen 1961-

    Order via interlibrary loan
    Book


    Saved in:

Search Tools: