Switch to: References

Add citations

You must login to add citations.
  1. New Tableau Characterizations for Non-clausal MaxSAT Problem.Guido Fiorino - 2022 - Logic Journal of the IGPL 30 (3):422-436.
    In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Special issue on logics and artificial intelligence.Zoe Falomir, Vicent Costa, Enric Plaza & Karina Gibert - 2021 - Logic Journal of the IGPL 29 (1):1-6.
    There is a significant range of ongoing challenges in artificial intelligence dealing with reasoning, planning, learning, perception and cognition, among others. In this scenario, many-valued logics emerge as one of the topics in many of the solutions to some of those AI problems. This special issue presents a brief introduction to the relation between logics and AI and collects recent research works on logic-based approaches in AI.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark