Zum Inhalt springen

  1. Alferes, Jose [VerfasserIn] ; Leite, João [Sonstige Person, Familie und Körperschaft]

    Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, 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, 2004

    Erschienen in: Lecture notes in computer science ; 3229

  2. 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

  3. Gabbay, Dov M. [VerfasserIn] ; Ohlbach, Hans Jürgen [Sonstige Person, Familie und Körperschaft]

    Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. 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, 1996

    Erschienen in: Lecture notes in computer science ; 1085

  6. Arikawa, Setsuo [VerfasserIn] ; Jantke, Klaus P. [Sonstige Person, Familie und Körperschaft]

    Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Pro

    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, 1994

    Erschienen in: Lecture notes in computer science ; 872

  7. Alferes, Jóse Júlio [VerfasserIn] ; Leite, João [Sonstige Person, Familie und Körperschaft]

    Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. 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, 2004

    Erschienen in: Lecture notes in computer science ; 322900

  9. Arikawa, Setsuo [Sonstige Person, Familie und Körperschaft] ; International Workshop on Analogical and Inductive Inference 4 1994 Reinhardsbrunn, ALT 5 1994 Reinhardsbrunn

    Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994 ; 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, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 87200

  10. Miclet, Laurent [VerfasserIn] ; De la Higuera, Colin [Sonstige Person, Familie und Körperschaft]

    Grammatical Inference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996. 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, 1996

    Erschienen in: Lecture notes in computer science ; 1147

  11. Miclet, Laurent [Sonstige Person, Familie und Körperschaft] ; ICGI 3 1996 Montpellier

    Grammatical inference : learning syntax from sentences : third international colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996 ; 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, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 114700

  12. Artikis, Alexander [VerfasserIn] ; Craven, Robert [Sonstige Person, Familie und Körperschaft]; Kesim Çiçekli, Nihan [Sonstige Person, Familie und Körperschaft]; Sadighi, Babak [Sonstige Person, Familie und Körperschaft]; Stathis, Kostas [Sonstige Person, Familie und Körperschaft]

    Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

    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, 2012

    Erschienen in: Lecture notes in computer science ; 7360

  13. Ojeda-Aciego, Manuel [VerfasserIn] ; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Guzmán, Inma P. [Sonstige Person, Familie und Körperschaft]; Pereira, Luís [Sonstige Person, Familie und Körperschaft]

    Logics in Artificial Intelligence : European Workshop, JELIA 2000 Málaga, Spain, September 29–October 2, 2000 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-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1919

  14. Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal and Applied Practical Reasoning 1996 Bonn

    Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; 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, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 108500

  17. Bobillo, Fernando [VerfasserIn] ; Carvalho, Rommel N. [HerausgeberIn]; Costa, Paulo C.G [HerausgeberIn]; d’Amato, Claudia [HerausgeberIn]; Fanizzi, Nicola [HerausgeberIn]; Laskey, Kathryn B. [HerausgeberIn]; Laskey, Kenneth J. [HerausgeberIn]; Lukasiewicz, Thomas [Sonstige Person, Familie und Körperschaft]; Nickles, Matthias [HerausgeberIn]; Pool, Michael [HerausgeberIn]

    Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

    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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8816

  18. Bobillo, Fernando [VerfasserIn] ; Costa, Paulo C. G. [Sonstige Person, Familie und Körperschaft]; d’Amato, Claudia [Sonstige Person, Familie und Körperschaft]; Fanizzi, Nicola [Sonstige Person, Familie und Körperschaft]; Laskey, Kathryn B. [Sonstige Person, Familie und Körperschaft]; Laskey, Kenneth J. [Sonstige Person, Familie und Körperschaft]; Lukasiewicz, Thomas [Sonstige Person, Familie und Körperschaft]; Nickles, Matthias [Sonstige Person, Familie und Körperschaft]; Pool, Michael [Sonstige Person, Familie und Körperschaft]

    Uncertainty Reasoning for the Semantic Web II : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

    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, 2013

    Erschienen in: Lecture notes in computer science ; 7123

  19. Carbonell, Jaime G. [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]; Costa, Paulo Cesar G. [Sonstige Person, Familie und Körperschaft]; d’Amato, Claudia [Sonstige Person, Familie und Körperschaft]; Fanizzi, Nicola [Sonstige Person, Familie und Körperschaft]; Laskey, Kathryn B. [Sonstige Person, Familie und Körperschaft]; Laskey, Kenneth J. [Sonstige Person, Familie und Körperschaft]; Lukasiewicz, Thomas [Sonstige Person, Familie und Körperschaft]; Nickles, Matthias [Sonstige Person, Familie und Körperschaft]; Pool, Michael [Sonstige Person, Familie und Körperschaft]

    Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

    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, 2008

    Erschienen in: Lecture notes in computer science ; 5327