Zum Inhalt springen

  3. Schmitt, Peter H. [VerfasserIn]; Dix, Jürgen [VerfasserIn]; Hähnle, Reiner [VerfasserIn]

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

    Bücher
    Schließen

    Merkliste

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

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

    Erschienen 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

  4. Schmitt, Peter H. [VerfasserIn]; Dix, Jürgen [VerfasserIn]; Hähnle, Reiner [VerfasserIn]

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

    Bücher
    Schließen

    Merkliste

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

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

    Erschienen 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

  6. Schaub, Torsten [VerfasserIn]

    The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1409

  9. AnneMarie, Borg [VerfasserIn] ; Straßer, Christian [Sonstige Person, Familie und Körperschaft]; Arieli, Ofer [Sonstige Person, Familie und Körperschaft] Fakultät für Philosophie und Erziehungswissenschaft

    Modeling defeasible reasoning from an argumentative angle

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Bochum: Ruhr-Universität Bochum, 2020

  10. Heyninck, Jesse [VerfasserIn] ; Straßer, Christian [Sonstige Person, Familie und Körperschaft]; Arieli, Ofer [Sonstige Person, Familie und Körperschaft] Fakultät für Philosophie und Erziehungswissenschaft

    Investigations into the logical foundations of defeasible reasoning : an argumentative perspective

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Bochum: Ruhr-Universität Bochum, 2019

  11. Reinfrank, Michael [VerfasserIn] ; Ginsberg, Matthew L. [Sonstige Person, Familie und Körperschaft]; Kleer, Johan de [Sonstige Person, Familie und Körperschaft]; Sandewall, Erik [Sonstige Person, Familie und Körperschaft]

    Non-Monotonic Reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 346

  12. Molick Silva, Sanderson [VerfasserIn] ; Strasser, Christian [Sonstige Person, Familie und Körperschaft]; Almeida, Joao Marcos de [Sonstige Person, Familie und Körperschaft] Fakultät für Philosophie und Erziehungswissenschaft

    Topics in logical anti-exceptionalism and paraconsistent logics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Bochum: Ruhr-Universität Bochum, 2023

  13. Brewka, Gerhard [VerfasserIn] ; Jantke, Klaus P. [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]

    Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 659

  14. Pearce, David [VerfasserIn] ; Wansing, Heinrich [Sonstige Person, Familie und Körperschaft]

    Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 619

  15. Dix, Jürgen [VerfasserIn] ; Jantke, Klaus P. [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]

    Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 543

  16. Reinfrank, Michael [Sonstige Person, Familie und Körperschaft]

    Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13 - 15, 1988 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1989 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 34600

  17. Gabbay, Dov [VerfasserIn] ; Kruse, Rudolf [Sonstige Person, Familie und Körperschaft]; Nonnengart, Andreas [Sonstige Person, Familie und Körperschaft]; Ohlbach, Hans J. [Sonstige Person, Familie und Körperschaft]

    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
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1244

  18. Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]

    Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2 - 6, 1991 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 65900

  19. Pearce, David [Sonstige Person, Familie und Körperschaft]

    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 - 10, 1990 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 61900

  20. Dix, Jürgen [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1991 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 54300