Skip to contents

Dix, Jürgen [Editor] ; FoIKS 4 2006 Budapest

Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14 - 17, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 3861
Dix, Jürgen [Editor] ; CLIMA 3 2002 Kopenhagen

Computational logic and multi-agent systems : 3rd International Workshop, CLIMA '02, Copenhagen, Denmark, August 1, 2002; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Roskilde: Universitetscenter, 2002

Published in: Datalogiske skrifter
Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY

Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998

Published in: Lecture notes in computer science ; 1471
Dix, Jürgen [Editor] ; JELIA 6 1998 Dagstuhl

Logics in artificial intelligence : European workshop ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1489
Dix, Jürgen [Editor] ; LPNMR 4 1997 Dagstuhl

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 - 31, 1997; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1265
Dix, Jürgen [Editor] ; NMELP 2 1996 Honnef

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 - 6, 1996; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1216
Dix, Jürgen [Editor] ; International Conference on Logic Programming 11 1994 Santa Margherita Ligure, Workshop on Non-Monotonic Extensions of Logic Programming 4 1994 Santa Margherita Ligure

Non-monotonic extensions of logic programming : selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 927
Dix, Jürgen [Editor] ; International Workshop on Nonmonotonic and Inductive Inference 1 1990 Karlsruhe

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 - 7, 1990 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Lecture notes in computer science ; 543
Dix, Jürgen [Author]

Some tendencies in non-monotonic reasoning / 1, The main approaches / J. Dix

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1991

Published in: Some tendencies in non-monotonic reasoning / Jürgen Dix. ++[Universität Karlsruhe, Fakultät für Informatik; Institut für Logik, Komplexität und Deduktionssysteme] ; 1 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,15
Dix, Jürgen [Author]

Some tendencies in non-monotonic reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 19XX-

Published in: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; .
Dix, Jürgen [Editor]; Witteveen, Cees [Other] ; MATES 8 2010 Leipzig

Multiagent system technologies : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6251
Dix, Jürgen [Editor]; Leite, João [Other] ; CLIMA 4 2004 Fort Lauderdale, Fla

Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6 - 7, 2004 ; revised selected and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 3259
Brewka, Gerhard [Author] ; Dix, Jürgen [Other]; Konolige, Kurt [Other]

Nonmonotonic reasoning : an overview

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif.: Center for the Study of Language and Information, 1997

Published in: Stanford University: CSLI lecture notes ; 73
Dix, Jürgen [Author]; Makinson, David [Author]

A note on the relationship between KLM and MAK models for nonmonotonic inference operations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1991

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 91,16
Dix, Jürgen [Editor]; Fisher, Michael [Other]; Novák, Peter [Other] ; CLIMA 10 2009 Hamburg

Computational logic in multi-agent systems : 10th international workshop, CLIMA X 2009, Hamburg, Germany, September 9-10, 2009 ; revised selected and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6214
Dix, Jürgen [Editor]; Posegga, J. [Other]; Schmitt, P. H. [Other] ; Universität Karlsruhe Institut für Logik, Komplexität und Deduktionssysteme

Plangenerierung und nichtklassische Logiken : Seminar Sommer 1989

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe, 1990

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,6
Schmitt, Peter H. [Author]; Dix, Jürgen [Author]; Hähnle, Reiner [Author]

Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / 1

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1990

Published in: Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik] ; 1 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,13
Schmitt, Peter H. [Author]; Dix, Jürgen [Author]; Hähnle, Reiner [Author]

Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / 2

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1990

Published in: Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken / P. H. Schmitt; J. Dix; R. Hähnle. [Univ. Karlsruhe, Fak. für Informatik] ; 2 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,14
Schmitt, Peter H. [Author]; Dix, Jürgen [Author]; Hähnle, Reiner [Author]

Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken : Seminar WS 89/90

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 19XX-

Published in: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; .
Kühling, Jürgen [Author]; Buchner, Benedikt [Author]; Bäcker, Matthias [Author]; Bergt, Matthias [Author]; Boehm, Franziska [Author]; Caspar, Johannes [Author]; Dix, Alexander [Author] ; Kühling, Jürgen [Editor]; Buchner, Benedikt [Editor] Verlag C.H. Beck

Datenschutz-Grundverordnung/BDSG : Kommentar - [2. Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: C.H. Beck, 2018

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication