Zum Inhalt springen

  3. Alviano, Mario [HerausgeberIn]; Pieris, Andreas [HerausgeberIn] ; Datalog 2.0 4. 2022 Nervi

    Datalog-2.0 2022: Resurgence of Datalog in Academia and Industry 2022 : proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022), co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) : Genova-Nervi, Italy, September 5, 2022

    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.

    [Aachen, Germany]: [RWTH Aachen], 2022-08-31

    Erschienen in: CEUR workshop proceedings ; 3203

  4. Alviano, Mario [HerausgeberIn]; Pieris, Andreas [HerausgeberIn] ; Datalog 2.0 3. 2019 Philadelphia, Pa

    Datalog 2.0 2019, 3rd International Workshop on the Resurgence of Datalog in Academia and Industry : Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019 : Philadelphia, PA (USA), June 4-5, 2019

    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.

    Aachen: RWTH Aachen, 2019-05-29

    Erschienen in: CEUR workshop proceedings ; 2368

  5. Alviano, Mario [VerfasserIn]; Zamayla, Arnel [VerfasserIn]

    A Speech about Generative Datalog and Non-measurable Sets

    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.

    2021

    Erschienen in: International Conference on Logic Programming (37. : 2021 : Online): ICLP workshops 2021: International Conference on Logic Programming 2021 workshops ; 2021

  6. Seta, Andrea De [VerfasserIn]; Alviano, Mario [VerfasserIn]

    An Application of ASP for Procedural Content Generation in Video Games

    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.

    2022

    Erschienen in: Italian Conference on Computational Logic (37. : 2022 : Bologna; Online): CILC 2022: Italian Conference on Computational Logic ; (2022), Seite 134-140

  7. Alviano, Mario [HerausgeberIn]; Greco, Gianluigi [HerausgeberIn]; Scarcello, Francesco [HerausgeberIn]

    AI*IA 2019 – Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings - [1st ed. 2019]

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

    Erschienen in: Lecture Notes in Artificial Intelligence ; 11946- Springer eBook Collection- Springer eBooks ; Computer Science

  8. Alviano, Mario [HerausgeberIn]; Greco, Gianluigi [HerausgeberIn]; Maratea, Marco [HerausgeberIn]; Scarcello, Francesco [HerausgeberIn] ; AIIA 18. 2019 Rende, Associazione Italiana per l'Intelligenza Artificiale

    AI*IA-DDC 2019, discussion and Doctoral Consortium papers of AI*IA 2019 : discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019

    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.

    [Aachen, Germany]: [RWTH Aachen], 2019-11-13

    Erschienen in: CEUR workshop proceedings ; 2495

  9. Alviano, Mario [VerfasserIn]; Bertolucci, Riccardo [VerfasserIn]; Cardellini, Matteo [VerfasserIn]; Dodaro, Carmine [VerfasserIn]; Galatà, Giuseppe [VerfasserIn]; Khan, Muhammad Kamran [VerfasserIn]; Maratea, Marco [VerfasserIn]; Mochi, Marco [VerfasserIn]; Morozan, Victoria [VerfasserIn]; Porro, Ivan [VerfasserIn]; Schouten, Marco [VerfasserIn]

    Answer Set Programming in Healthcare: Extended Overview

    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.

    2020

    Erschienen in: Italian Workshop on Planning and Scheduling (8. : 2020 : Online): IPS-RCRA 2020: Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion ; 2020

  17. Alviano, Mario; Dodaro, Carmine

    Proceedings 36th International Conference on Logic Programming (Technical Communications) : Data validation for Answer Set Programming (Extended Abstract) : Data validation for Answer Set Programming (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Open Publishing Association, 2020

    Erschienen in: Electronic Proceedings in Theoretical Computer Science