Zum Inhalt springen

  1. Belnap, Nuel D. [Verfasser:in] ; Steel, Thomas B. [Sonstige Person, Familie und Körperschaft]; Brockhaus, Klaus [Sonstige Person, Familie und Körperschaft]

    Logik von Frage und Antwort

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Braunschweig; Wiesbaden: Vieweg, 1985

  2. Croitoru, Madalina [Herausgeber:in]; Ferré, Sébastien [Sonstige Person, Familie und Körperschaft]; Lukose, Dickson [Sonstige Person, Familie und Körperschaft] ; International Conference on Conceptual Structures 18 2010 Kuching

    Conceptual structures: from information to intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26 - 30, 2010; proceedings

    Bücher
    Online ansehen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6208

  3. Erdem, Esra [Herausgeber:in]; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft] ; LPNMR 10 2009 Potsdam

    Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 ; proceedings

    Bücher
    Online ansehen
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5753

  4. Balduccini, Marcello [Herausgeber:in]; Gelfond, Michael [Gefeierte:r]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft]

    Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6565

  5. Tokunaga, Takenobu [Herausgeber:in]; Ortega, Antonio [Sonstige Person, Familie und Körperschaft] ; International Conference on Large Scale Knowledge Resources 3 2008 Tokio

    Large-scale knowledge resources : construction and application ; third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008 ; proceedings

    Bücher
    Online ansehen
    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, 2008

    Erschienen in: Lecture notes in computer science ; 4938

  6. Andreasen, Troels [Herausgeber:in]; Yager, Ronald R. [Sonstige Person, Familie und Körperschaft]; Bulskov, Henrik [Sonstige Person, Familie und Körperschaft]; Christiansen, Henning [Sonstige Person, Familie und Körperschaft]; Legind Larsen, Henrik [Sonstige Person, Familie und Körperschaft] ; FQAS 8 2009 Roskilde

    Flexible query answering systems : 8th international conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009 ; proceedings

    Bücher
    Online ansehen
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5822

  7. Legind Larsen, Henrik [Herausgeber:in]; Pasi, Gabriella [Sonstige Person, Familie und Körperschaft]; Ortiz-Arroyo, Daniel [Sonstige Person, Familie und Körperschaft]; Andreasen, Troels [Sonstige Person, Familie und Körperschaft]; Christiansen, Henning [Sonstige Person, Familie und Körperschaft] ; FQAS 7 2006 Mailand

    Flexible query answering systems : 7th international conference, FQAS 2006, Milan, Italy, June 7 - 10, 2006 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4027

  8. Delgrande, James P. [Herausgeber:in]; Faber, Wolfgang [Sonstige Person, Familie und Körperschaft] ; LPNMR 11 2011 Vancouver, British Columbia

    Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6645

  9. Liu, Wenyin [Herausgeber:in]; Luo, Xiangfeng [Sonstige Person, Familie und Körperschaft]; Wang, Fu Lee [Sonstige Person, Familie und Körperschaft]; Lei, Jingsheng [Sonstige Person, Familie und Körperschaft] ; WISM 2009 Schanghai

    Web information systems and mining : international conference, WISM 2009, Shanghai, China, November 7-8, 2009 ; proceedings

    Bücher
    Online ansehen
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5854

  10. Lu, Rugian [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg H. [Sonstige Person, Familie und Körperschaft]; Ullrich, Carsten [Sonstige Person, Familie und Körperschaft]; Lu, Ruqian [Herausgeber:in] ; Joint Chinese German Workshop on Cognitive Systems 2005 Schanghai

    Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7 - 11, 2005 ; revised selected papers

    Bücher
    Online ansehen
    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 ; 4429

  11. Erdem, Esra [Verfasser:in] ; Lee, Joohyung [Sonstige Person, Familie und Körperschaft]; Lierler, Yuliya [Sonstige Person, Familie und Körperschaft]; Pearce, David [Sonstige Person, Familie und Körperschaft]

    Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz

    Bücher
    Online ansehen
    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 ; 7265

  12. Balduccini, Marcello [Verfasser:in] ; Son, Tran Cao [Herausgeber:in]

    Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6565

  13. Croitoru, Madalina [Verfasser:in] ; Ferré, Sébastien [Sonstige Person, Familie und Körperschaft]; Lukose, Dickson [Sonstige Person, Familie und Körperschaft]

    Conceptual Structures: From Information to Intelligence : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings

    Bücher
    Online ansehen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6208

  14. Erdem, Esra [Verfasser:in] ; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

    Bücher
    Online ansehen
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5753

  15. Legind Larsen, Henrik [Sonstige Person, Familie und Körperschaft]; Andreasen, Troels [Sonstige Person, Familie und Körperschaft]; Christiansen, Henning [Sonstige Person, Familie und Körperschaft]; Ortiz-Arroyo, Daniel [Sonstige Person, Familie und Körperschaft]; Pasi, Gabriella [Sonstige Person, Familie und Körperschaft]

    Flexible Query Answering Systems : 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006

    Bücher
    Online ansehen
    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, 2006

    Erschienen in: Lecture notes in computer science ; 4027