Zum Inhalt springen

  1. Beckstein, Clemens [Herausgeber:in] ; Gesellschaft für Informatik Fachgruppe Deklarative KI-Programmierung, Fachtagung für Künstliche Intelligenz 18 1994 Saarbrücken, KI 18 1994 Saarbrücken

    Entwicklung, Test und Wartung deklarativer KI-Programme : Workshop zur 18. Jahrestagung für Künstliche Intelligenz, Saarbrücken, 19.-20.9.1994

    Bücher
    Schließen

    Merkliste

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

    Sankt Augustin: GMD, 1994

    Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 238

  2. Baral, Chitta [Herausgeber:in]; 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
    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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4483

  3. Baldoni, Matteo [Herausgeber:in] ; DALT 7 2009 Budapest

    Declarative agent languages and technologies / 7, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009; revised selected and invited papers / Matteo Baldoni ... (eds.)

    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 [u.a.]: Springer, 2010

    Erschienen in: Declarative agent languages and technologies ; 7 - Lecture notes in computer science ; 5948

  4. Baldoni, Matteo [Herausgeber:in] ; DALT 6 2008 Estoril

    Declarative agent languages and technologies / 6, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.)

    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 [u.a.]: Springer, 2009

    Erschienen in: Declarative agent languages and technologies ; 6 - Lecture notes in computer science ; 5397

  5. Baldoni, Matteo [Herausgeber:in] ; DALT 5 2007 Honolulu, Hawaii

    Declarative agent languages and technologies / 5, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14 2007 : revised selected and invited papers / Matteo Baldoni ... (eds.)

    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 [u.a.]: Springer, 2008

    Erschienen in: Declarative agent languages and technologies ; 5 - Lecture notes in computer science ; 4897

  6. Baldoni, Matteo [Herausgeber:in] ; DALT 3 2005 Utrecht

    Declarative agent languages and technologies / 3, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / Matteo Baldoni ... (eds.)

    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 [u.a.]: Springer, 2006

    Erschienen in: Declarative agent languages and technologies ; 3 - Lecture notes in computer science ; 3904

  7. Omicini, Andrea [Herausgeber:in] ; DALT 8 2010 Toronto

    Declarative agent languages and technologies / 8, 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2011; revised selected and invited papers / Andrea Omicini ... (eds.)

    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 [u.a.]: Springer, 2011

    Erschienen in: Declarative agent languages and technologies ; 8 - Lecture notes in computer science ; 6619

  8. Baldoni, Matteo [Herausgeber:in] ; DALT 4 2006 Hakodate

    Declarative agent languages and technologies / 4, Fourth International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / Matteo Baldoni ... (eds.)

    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 [u.a.]: Springer, 2006

    Erschienen in: Declarative agent languages and technologies ; 4 - Lecture notes in computer science ; 4327

  9. Leite, João [Sonstige Person, Familie und Körperschaft] ; DALT 1 2003 Melbourne

    Declarative agent languages and technologies / [1], First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003 : revised selected and invited papers / João Leite ... (eds.) - 2004

    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: Declarative agent languages and technologies ; [1] - Lecture notes in computer science ; 2990

  10. Hofstedt, Petra [Herausgeber:in]; Abreu, Salvador [Herausgeber:in]; John, Ulrich [Herausgeber:in]; Kuchen, Herbert [Herausgeber:in]; Seipel, Dietmar [Herausgeber:in]

    Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers - [1st ed. 2020.]

    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: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 12057 - Springer eBook Collection

  11. Baldoni, Matteo [Verfasser:in] ; Bentahar, Jamal [Sonstige Person, Familie und Körperschaft]; Lloyd, John [Sonstige Person, Familie und Körperschaft]; Riemsdijk, M. Birna [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. 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, 2010

    Erschienen in: Lecture notes in computer science ; 5948

  12. Carbonell, Jaime G. [Sonstige Person, Familie und Körperschaft]; Baldoni, Matteo [Sonstige Person, Familie und Körperschaft]; Riemsdijk, M. Birna [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft]; Winikoff, Michael [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, 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, 2009

    Erschienen in: Lecture notes in computer science ; 5397

  13. Baldoni, Matteo [Sonstige Person, Familie und Körperschaft]; Riemsdijk, M. Birna [Sonstige Person, Familie und Körperschaft]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft]; Winikoff, Michael [Sonstige Person, Familie und Körperschaft] ; DALT 5 2007 Honolulu, Hawaii

    Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 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 ; 4897

  14. Baldoni, Matteo [Sonstige Person, Familie und Körperschaft]; Endriss, Ulle [Sonstige Person, Familie und Körperschaft]; Omicini, Andrea [Sonstige Person, Familie und Körperschaft]; Torroni, Paolo [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies III : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised 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, 2006

    Erschienen in: Lecture notes in computer science ; 3904

  15. Baldoni, Matteo [Verfasser:in] ; Dennis, Louise [Sonstige Person, Familie und Körperschaft]; Mascardi, Viviana [Sonstige Person, Familie und Körperschaft]; Vasconcelos, Wamberto [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, 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 ; 7784

  16. Sakama, Chiaki [Verfasser:in] ; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]; Vasconcelos, Wamberto [Sonstige Person, Familie und Körperschaft]; Winikoff, Michael [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, 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, 2012

    Erschienen in: Lecture notes in computer science ; 7169

  17. Omicini, Andrea [Verfasser:in] ; Sardina, Sebastian [Herausgeber:in]; Vasconcelos, Wamberto [Herausgeber:in]

    Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, 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, 2011

    Erschienen in: Lecture notes in computer science ; 6619

  19. Baldoni, Matteo [Sonstige Person, Familie und Körperschaft]; Endriss, Ulle [Sonstige Person, Familie und Körperschaft]

    Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised 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, 2006

    Erschienen in: Lecture notes in computer science ; 4327