Buchumschlag

Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Habib, Saimun, Belle, Vaishak, He, Fengxiang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
von: Adriaensen, Rik, et al.
Veröffentlicht: (2025)

Counterfactual Explanations as Plans
von: Belle, Vaishak
Veröffentlicht: (2025)

A Counterfactual Cause in Situation Calculus
von: Liu, Daxin, et al.
Veröffentlicht: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
von: Tang, Weizhi, et al.
Veröffentlicht: (2024)

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
von: Tang, Weizhi, et al.
Veröffentlicht: (2024)

Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
von: Tang, Weizhi, et al.
Veröffentlicht: (2025)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
von: Molick, Sanderson, et al.
Veröffentlicht: (2026)

An Algebraic Framework for Hierarchical Probabilistic Abstraction
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Practical Considerations for Agentic LLM Systems
von: Sypherd, Chris, et al.
Veröffentlicht: (2024)

LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
von: Tang, Weizhi, et al.
Veröffentlicht: (2024)

Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning
von: Diallo, Alec F., et al.
Veröffentlicht: (2024)

Neuro-symbolic Weak Supervision: Theory and Semantics
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
von: Zhang, Maifang, et al.
Veröffentlicht: (2026)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
von: Feldstein, Jonathan, et al.
Veröffentlicht: (2024)

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

Program Semantic Inequivalence Game with Large Language Models
von: Miceli-Barone, Antonio Valerio, et al.
Veröffentlicht: (2025)

Where Bits Matter in World Model Planning: A Paired Mixed-Bit Study for Efficient Spatial Reasoning
von: Ranganath, Suraj, et al.
Veröffentlicht: (2026)

AdaProb: Efficient Machine Unlearning via Adaptive Probability
von: Zhao, Zihao, et al.
Veröffentlicht: (2024)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
von: Tang, Weizhi, et al.
Veröffentlicht: (2025)

Ensuring Safety in an Uncertain Environment: Constrained MDPs via Stochastic Thresholds
von: Zuo, Qian, et al.
Veröffentlicht: (2025)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
von: Mendez-Lucero, Miguel Angel, et al.
Veröffentlicht: (2024)

RFEval: Benchmarking Reasoning Faithfulness under Counterfactual Reasoning Intervention in Large Reasoning Models
von: Han, Yunseok, et al.
Veröffentlicht: (2026)

Compressed Causal Reasoning: Quantization and GraphRAG Effects on Interventional and Counterfactual Accuracy
von: Nwaiwu, Steve, et al.
Veröffentlicht: (2025)

Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
von: Miceli-Barone, Antonio Valerio, et al.
Veröffentlicht: (2026)

When Counterfactual Reasoning Fails: Chaos and Real-World Complexity
von: Aalaila, Yahya, et al.
Veröffentlicht: (2025)

R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-based Reinforcement Learning
von: Liu, Yilun, et al.
Veröffentlicht: (2025)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
von: Jiao, Ying, et al.
Veröffentlicht: (2025)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
von: Wang, Xiangyu, et al.
Veröffentlicht: (2025)

Counterfactual Reasoning in Automated Planning
von: Pozanco, Alberto, et al.
Veröffentlicht: (2026)

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning
von: Kim, Jooyoung, et al.
Veröffentlicht: (2026)

Comparative Explanations via Counterfactual Reasoning in Recommendations
von: Yu, Yi, et al.
Veröffentlicht: (2025)

Three-in-One World Model: Energy-Based Consistency, Prediction, and Counterfactual Inference for Marketing Intervention
von: Niimi, Junichiro
Veröffentlicht: (2026)

ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts
von: Zhao, Heng, et al.
Veröffentlicht: (2026)

ProbSAINT: Probabilistic Tabular Regression for Used Car Pricing
von: Madhusudhanan, Kiran, et al.
Veröffentlicht: (2024)

ProbGuard: Probabilistic Runtime Monitoring for LLM Agent Safety
von: Wang, Haoyu, et al.
Veröffentlicht: (2025)

Counterfactual Generation with Answer Set Programming
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

MicLog: Towards Accurate and Efficient LLM-based Log Parsing via Progressive Meta In-Context Learning
von: Yu, Jianbo, et al.
Veröffentlicht: (2026)

Seeing the Needle in the Haystack: Towards Weakly-Supervised Log Instance Anomaly Localization via Counterfactual Perturbation
von: Wong, Yutszyuk, et al.
Veröffentlicht: (2026)