Zum Inhalt springen

  1. Abreu, Salvador [Herausgeber:in]; Seipel, Dietmar [Sonstige Person, Familie und Körperschaft] ; INAP 18 2009 Évora

    Applications of declarative programming and knowledge management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009: 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, 2011

    Erschienen in: Lecture notes in computer science ; 6547

  2. Pires, Fernando Moura [Verfasser:in] ; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

    Progress in Artificial Intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. 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, 2003

    Erschienen in: Lecture notes in computer science ; 290200

  3. Moura Pires, Fernando [Verfasser:in] ; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

    Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, 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, 2003

    Erschienen in: Lecture notes in computer science ; 2902

  4. Abreu, Salvador [Verfasser:in] ; Seipel, Dietmar [Herausgeber:in]

    Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, 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: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6547

  5. Liu, Ke [Verfasser:in] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

    Parallel constraint solving for combinatorial problems

    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.

    Cottbus: BTU Cottbus - Senftenberg, 2021

  6. Seipel, Dietmar [Herausgeber:in]; Hanus, Michael [Herausgeber:in]; Abreu, Salvador [Herausgeber:in]

    Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, 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.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture Notes in Artificial Intelligence ; 10997- SpringerLink ; Bücher

  7. Seipel, Dietmar [Verfasser:in]; Weidner, Daniel [Verfasser:in]; Abreu, Salvador [Verfasser:in] ; Dietmar Seipel and Daniel Weidner and Salvador Abreu [Mitwirkende:r]

    Intelligent Query Answering with Contextual Knowledge for Relational Databases

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

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

    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

  9. Seipel, Dietmar [Verfasser:in]; Förster, Benjamin [Verfasser:in]; Liebl, Magnus [Verfasser:in]; Waleska, Marcel [Verfasser:in]; Abreu, Salvador [Verfasser:in] ; Dietmar Seipel and Benjamin Förster and Magnus Liebl and Marcel Waleska and Salvador Abreu [Mitwirkende:r]

    Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  10. Nogatz, Falco [Verfasser:in]; Kübert, Julia [Verfasser:in]; Seipel, Dietmar [Verfasser:in]; Abreu, Salvador [Verfasser:in] ; Falco Nogatz and Julia Kübert and Dietmar Seipel and Salvador Abreu [Mitwirkende:r]

    Alexa, How Can I Reason with Prolog?

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  11. Seipel, Dietmar [Verfasser:in]; von der Weth, Rüdiger [Verfasser:in]; Abreu, Salvador [Verfasser:in]; Nogatz, Falco [Verfasser:in]; Werner, Alexander [Verfasser:in] ; Dietmar Seipel and Rüdiger von der Weth and Salvador Abreu and Falco Nogatz and Alexander Werner [Mitwirkende:r]

    Declarative Rules for Annotated Expert Knowledge in Change Management

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  12. Tompits, Hans [Verfasser:in] ; Abreu, Salvador [Herausgeber:in]; Oetsch, Johannes [Herausgeber:in]; Pührer, Jörg [Herausgeber:in]; Seipel, Dietmar [Herausgeber:in]; Umeda, Masanobu [Herausgeber:in]; Wolf, Armin [Herausgeber:in]

    Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, 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: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7773

  13. Liu, Ke [Verfasser:in] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

    Parallel constraint solving for combinatorial problems

    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.

    Cottbus: BTU Cottbus - Senftenberg, 2021