Cover Image

A Counterfactual Cause in Situation Calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Daxin, Belle, Vaishak
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
by: Habib, Saimun, et al.
Published: (2026)

An Algebraic Framework for Hierarchical Probabilistic Abstraction
by: Upreti, Nijesh, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Practical Considerations for Agentic LLM Systems
by: Sypherd, Chris, et al.
Published: (2024)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)

Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)

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

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

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
by: Tang, Weizhi, et al.
Published: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

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

LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)

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

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

Program Semantic Inequivalence Game with Large Language Models
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
by: Tang, Weizhi, et al.
Published: (2025)

Validating Generalist Robots with Situation Calculus and STL Falsification
by: Li, Changwen, et al.
Published: (2026)

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

Abstracting Situation Calculus Action Theories
by: Banihashemi, Bita, et al.
Published: (2024)

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

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
by: Hofmann, Till, et al.
Published: (2024)

On the Size Complexity and Decidability of First-Order Progression
by: Classen, Jens, et al.
Published: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

KV Cache Quantization for Self-Forcing Video Generation: A 33-Method Empirical Study
by: Ranganath, Suraj, et al.
Published: (2026)

Suvach -- Generated Hindi QA benchmark
by: Narayanan, Vaishak, et al.
Published: (2024)

ProCause: Generating Counterfactual Outcomes to Evaluate Prescriptive Process Monitoring Methods
by: De Moor, Jakob, et al.
Published: (2025)

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

A Defeasible Deontic Calculus for Resolving Norm Conflicts
by: Olson, Taylor, et al.
Published: (2024)

Multimodal Situational Safety
by: Zhou, Kaiwen, et al.
Published: (2024)

Explaining Reinforcement Learning: A Counterfactual Shapley Values Approach
by: Shi, Yiwei, et al.
Published: (2024)

Decentralized Causal Discovery using Judo Calculus
by: Mahadevan, Sridhar
Published: (2025)

Causal Counterfactuals Reconsidered
by: Beckers, Sander
Published: (2025)

Ranking Counterfactual Explanations
by: Lim, Suryani, et al.
Published: (2025)

Counterfactual Language Reasoning for Explainable Recommendation Systems
by: Li, Guanrong, et al.
Published: (2025)

Counterfactual Trace Auditing of LLM Agent Skills
by: Zhou, Xiaolin, et al.
Published: (2026)

Budgeting Counterfactual for Offline RL
by: Liu, Yao, et al.
Published: (2023)

Bidirectional Emergent Language in Situated Environments
by: Wolff, Cornelius, et al.
Published: (2024)

Situational-Constrained Sequential Resources Allocation via Reinforcement Learning
by: Zhang, Libo, et al.
Published: (2025)

Counterfactual Scenarios for Automated Planning
by: Gigante, Nicola, et al.
Published: (2025)