Image de couverture de livre

Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Habib, Saimun, Belle, Vaishak, He, Fengxiang
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
par: Adriaensen, Rik, et autres
Publié: (2025)

Counterfactual Explanations as Plans
par: Belle, Vaishak
Publié: (2025)

A Counterfactual Cause in Situation Calculus
par: Liu, Daxin, et autres
Publié: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
par: Upreti, Nijesh, et autres
Publié: (2025)

Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
par: Tang, Weizhi, et autres
Publié: (2024)

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
par: Tang, Weizhi, et autres
Publié: (2024)

Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
par: Upreti, Nijesh, et autres
Publié: (2025)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
par: Tang, Weizhi, et autres
Publié: (2025)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
par: Molick, Sanderson, et autres
Publié: (2026)

An Algebraic Framework for Hierarchical Probabilistic Abstraction
par: Upreti, Nijesh, et autres
Publié: (2025)

Practical Considerations for Agentic LLM Systems
par: Sypherd, Chris, et autres
Publié: (2024)

LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
par: Tang, Weizhi, et autres
Publié: (2024)

Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning
par: Diallo, Alec F., et autres
Publié: (2024)

Neuro-symbolic Weak Supervision: Theory and Semantics
par: Upreti, Nijesh, et autres
Publié: (2025)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
par: Feldstein, Jonathan, et autres
Publié: (2024)

Logic Tensor Network-Enhanced Generative Adversarial Network
par: Upreti, Nijesh, et autres
Publié: (2026)

Program Semantic Inequivalence Game with Large Language Models
par: Miceli-Barone, Antonio Valerio, et autres
Publié: (2025)

Where Bits Matter in World Model Planning: A Paired Mixed-Bit Study for Efficient Spatial Reasoning
par: Ranganath, Suraj, et autres
Publié: (2026)

AdaProb: Efficient Machine Unlearning via Adaptive Probability
par: Zhao, Zihao, et autres
Publié: (2024)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
par: Tang, Weizhi, et autres
Publié: (2025)

Ensuring Safety in an Uncertain Environment: Constrained MDPs via Stochastic Thresholds
par: Zuo, Qian, et autres
Publié: (2025)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
par: Mendez-Lucero, Miguel Angel, et autres
Publié: (2024)

RFEval: Benchmarking Reasoning Faithfulness under Counterfactual Reasoning Intervention in Large Reasoning Models
par: Han, Yunseok, et autres
Publié: (2026)

Compressed Causal Reasoning: Quantization and GraphRAG Effects on Interventional and Counterfactual Accuracy
par: Nwaiwu, Steve, et autres
Publié: (2025)

Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
par: Miceli-Barone, Antonio Valerio, et autres
Publié: (2026)

When Counterfactual Reasoning Fails: Chaos and Real-World Complexity
par: Aalaila, Yahya, et autres
Publié: (2025)

R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-based Reinforcement Learning
par: Liu, Yilun, et autres
Publié: (2025)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
par: Jiao, Ying, et autres
Publié: (2025)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
par: Wang, Xiangyu, et autres
Publié: (2025)

Counterfactual Reasoning in Automated Planning
par: Pozanco, Alberto, et autres
Publié: (2026)

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning
par: Kim, Jooyoung, et autres
Publié: (2026)

Comparative Explanations via Counterfactual Reasoning in Recommendations
par: Yu, Yi, et autres
Publié: (2025)

Three-in-One World Model: Energy-Based Consistency, Prediction, and Counterfactual Inference for Marketing Intervention
par: Niimi, Junichiro
Publié: (2026)

ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts
par: Zhao, Heng, et autres
Publié: (2026)

ProbSAINT: Probabilistic Tabular Regression for Used Car Pricing
par: Madhusudhanan, Kiran, et autres
Publié: (2024)

ProbGuard: Probabilistic Runtime Monitoring for LLM Agent Safety
par: Wang, Haoyu, et autres
Publié: (2025)

Counterfactual Generation with Answer Set Programming
par: Dasgupta, Sopam, et autres
Publié: (2024)

MicLog: Towards Accurate and Efficient LLM-based Log Parsing via Progressive Meta In-Context Learning
par: Yu, Jianbo, et autres
Publié: (2026)

Seeing the Needle in the Haystack: Towards Weakly-Supervised Log Instance Anomaly Localization via Counterfactual Perturbation
par: Wong, Yutszyuk, et autres
Publié: (2026)