Zum Inhalt springen

  1. Alviano, Mario; Faber, Wolfgang

    Logic Programming and Nonmonotonic Reasoning: The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics

    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.

    Springer Berlin Heidelberg, 2013

    Erschienen in: Logic Programming and Nonmonotonic Reasoning

  2. Alviano, Mario; Giordano, Laura; Theseider Dupré, Daniele

    Logics in Artificial Intelligence: Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases

    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.

    Springer Nature Switzerland, 2023

    Erschienen in: Logics in Artificial Intelligence

  3. Alviano, Mario; Giordano, Laura; Theseider Dupré, Daniele

    Proceedings 39th International Conference on Logic Programming : Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract : Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract

    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.

    Open Publishing Association, 2023

    Erschienen in: Electronic Proceedings in Theoretical Computer Science

  4. Alviano, Mario; Batsakis, Sotiris; Baryannis, George

    Logic Programming and Nonmonotonic Reasoning: Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds

    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.

    Springer International Publishing, 2022

    Erschienen in: Logic Programming and Nonmonotonic Reasoning

  5. Alviano, Mario; Dodaro, Carmine; Maratea, Marco

    AI*IA 2017 Advances in Artificial Intelligence: An Advanced Answer Set Programming Encoding for Nurse Scheduling

    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.

    Springer International Publishing, 2017

    Erschienen in: AI*IA 2017 Advances in Artificial Intelligence