Zum Inhalt springen

  1. Abreu, Salvador [HerausgeberIn]; 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
    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 [VerfasserIn] ; 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
    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 [VerfasserIn] ; 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
    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 [VerfasserIn] ; Seipel, Dietmar [HerausgeberIn]

    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
    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 [VerfasserIn] ; 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
    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. Liu, Ke [VerfasserIn] ; 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
    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

  7. Seipel, Dietmar [VerfasserIn]; Weidner, Daniel [VerfasserIn]; Abreu, Salvador [VerfasserIn] ; Dietmar Seipel and Daniel Weidner and Salvador Abreu [MitwirkendeR]

    Intelligent Query Answering with Contextual Knowledge for Relational Databases

    Aufsätze
    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.

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

  8. Nogatz, Falco [VerfasserIn]; Seipel, Dietmar [VerfasserIn]; Abreu, Salvador [VerfasserIn] ; Falco Nogatz and Dietmar Seipel and Salvador Abreu [MitwirkendeR]

    Definite Clause Grammars with Parse Trees: Extension for Prolog

    Aufsätze
    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.

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

  9. Hofstedt, Petra [HerausgeberIn]; Abreu, Salvador [HerausgeberIn]; John, Ulrich [HerausgeberIn]; Kuchen, Herbert [HerausgeberIn]; Seipel, Dietmar [HerausgeberIn]

    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

  10. Seipel, Dietmar [VerfasserIn]; Förster, Benjamin [VerfasserIn]; Liebl, Magnus [VerfasserIn]; Waleska, Marcel [VerfasserIn]; Abreu, Salvador [VerfasserIn] ; Dietmar Seipel and Benjamin Förster and Magnus Liebl and Marcel Waleska and Salvador Abreu [MitwirkendeR]

    Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge

    Aufsätze
    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.

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

  11. Nogatz, Falco [VerfasserIn]; Kübert, Julia [VerfasserIn]; Seipel, Dietmar [VerfasserIn]; Abreu, Salvador [VerfasserIn] ; Falco Nogatz and Julia Kübert and Dietmar Seipel and Salvador Abreu [MitwirkendeR]

    Alexa, How Can I Reason with Prolog?

    Aufsätze
    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.

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

  12. Seipel, Dietmar [VerfasserIn]; von der Weth, Rüdiger [VerfasserIn]; Abreu, Salvador [VerfasserIn]; Nogatz, Falco [VerfasserIn]; Werner, Alexander [VerfasserIn] ; Dietmar Seipel and Rüdiger von der Weth and Salvador Abreu and Falco Nogatz and Alexander Werner [MitwirkendeR]

    Declarative Rules for Annotated Expert Knowledge in Change Management

    Aufsätze
    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.

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

  13. Tompits, Hans [VerfasserIn] ; Abreu, Salvador [HerausgeberIn]; Oetsch, Johannes [HerausgeberIn]; Pührer, Jörg [HerausgeberIn]; Seipel, Dietmar [HerausgeberIn]; Umeda, Masanobu [HerausgeberIn]; Wolf, Armin [HerausgeberIn]

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

  17. Salgueiro, Pedro; Abreu, Salvador

    Lecture Notes in Computer Science: Network Monitoring with Constraint Programming: Preliminary Specification and Analysis

    Aufsätze
    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.

    Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture Notes in Computer Science