Zum Inhalt springen

  1. Cheney, James [HerausgeberIn]; Perri, Simona [HerausgeberIn]

    Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings - [1st ed. 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.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Programming and Software Engineering ; 13165

  2. Calimeri, Francesco [HerausgeberIn]; Perri, Simona [HerausgeberIn]; Zumpano, Ester [HerausgeberIn] ; Italian Conference on Computational Logic 35. 2020 Online

    CILC 2020: proceedings of CILC 2020 : proceedings of the 35th Italian Conference on Computational Logic - CILC 2020 : Rende, Italy, October 13-15, 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.

    [Aachen, Germany]: [RWTH Aachen], 2020-10-24

    Erschienen in: CEUR workshop proceedings ; 2710

  3. Leone, Nicola [VerfasserIn]; Manna, Marco [VerfasserIn]; Morelli, Maria Concetta [VerfasserIn]; Perri, Simona [VerfasserIn]

    A Formal Comparison between Datalog-based Languages for Stream Reasoning

    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: Datalog 2.0 (4. : 2022 : Nervi): Datalog-2.0 2022: Resurgence of Datalog in Academia and Industry 2022 ; (2022), Seite 151-165

  7. Zangari, Jessica; Calimeri, Francesco; Perri, Simona

    Proceedings 35th International Conference on Logic Programming (Technical Communications) : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics : Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics

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

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  11. Leone, Nicola; Perri, Simona; Scarcello, Francesco

    AI*IA 2001: Advances in Artificial Intelligence: Abduction with Penalization in Logic Programming

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

    Erschienen in: AI*IA 2001: Advances in Artificial Intelligence

  12. Leone, Nicola; Perri, Simona; Scarcello, Francesco

    Logic Programming and Nonmotonic Reasoning: Improving ASP Instantiators by Join-Ordering Methods

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

    Erschienen in: Logic Programming and Nonmotonic Reasoning

  13. Leone, Nicola; Perri, Simona; Rullo, Pasquale

    AI*IA 99: Advances in Artificial Intelligence: Local Search Techniques for Disjunctive Logic Programs

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

    Erschienen in: AI*IA 99: Advances in Artificial Intelligence

  14. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica

    Practical Aspects of Declarative Languages: Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning

    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 Nature Switzerland, 2023

    Erschienen in: Practical Aspects of Declarative Languages

  15. Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Perri, Simona; Ricca, Francesco

    Proceedings 38th International Conference on Logic Programming : Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning (Extended Abstract)* : Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning (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, 2022

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  16. Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica

    Rules and Reasoning: The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities

    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 International Publishing, 2022

    Erschienen in: Rules and Reasoning