Zum Inhalt springen

  1. Besnard, Philippe [VerfasserIn]

    An introduction to default logic

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Symbolic computation ; artificial intelligence

  2. Schaub, Torsten [VerfasserIn]; Schaub, Torsten Hans [VerfasserIn]

    Considerations on default logics

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    1992

  3. Marek, Victor W. [VerfasserIn]; Truszczyński, Mirosław [VerfasserIn]

    Nonmonotonic logic : context-dependent reasoning

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Artificial intelligence

  4. Baral, Chitta [HerausgeberIn]; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Schlipf, John [Sonstige Person, Familie und Körperschaft] ; LPNMR 9 2007 Tempe, Ariz

    Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4483

  5. Gabbay, Dov M. [HerausgeberIn] ; International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef

    Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 1997

    Erschienen in: Lecture notes in computer science ; 1244