research
          
      
      ∙
      05/23/2021
    PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
The Credal semantics is a probabilistic extension of the answer set sema...
          
            research
          
      
      ∙
      03/02/2020
    A general framework for scientifically inspired explanations in AI
Explainability in AI is gaining attention in the computer science commun...
          
            research
          
      
      ∙
      07/12/2019