Search Results for author:
Found 5 papers, 3 papers with code
Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach
Human-centered explainable AI (HCXAI) advocates for the integration of social aspects into AI explanations.
Belief Revision in Sentential Decision Diagrams
Belief revision is the task of modifying a knowledge base when new information becomes available, while also respecting a number of desirable properties.
Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption
Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints.
Robust Model Checking with Imprecise Markov Reward Models
However, only extensions based on discrete-time imprecise Markov chains have been considered so far for such a robust approach to model checking.
Logic in Computer Science Logic Probability
Tractable Inference in Credal Sentential Decision Diagrams
In this work, we develop the credal sentential decision diagrams, a generalisation of their probabilistic counterpart that allows for replacing the local probabilities with (so-called credal) sets of mass functions.
