Cover Image

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khan, Shakil M., Lespérance, Yves, Rostamigiv, Maryam
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Large Language Models for Abstraction of Planning Domains - Extended Version
by: Banihashemi, Bita, et al.
Published: (2025)

Actual Causation and Nondeterministic Causal Models
by: Beckers, Sander
Published: (2025)

On the Semantics of Primary Cause in Hybrid Dynamic Domains
by: Khan, Shakil M., et al.
Published: (2026)

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
by: De Giacomo, Giuseppe, et al.
Published: (2025)

Nondeterministic Causal Models
by: Beckers, Sander
Published: (2024)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
by: Mordoch, Argaman, et al.
Published: (2024)

Nondeterministic Polynomial-time Problem Challenge: An Ever-Scaling Reasoning Benchmark for LLMs
by: Yang, Chang, et al.
Published: (2025)

Large Language Models as Nondeterministic Causal Models
by: Beckers, Sander
Published: (2025)

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

Automated Discovery of Functional Actual Causes in Complex Environments
by: Chuck, Caleb, et al.
Published: (2024)

Incremental LTLf Synthesis
by: De Giacomo, Giuseppe, et al.
Published: (2026)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
by: Troquard, Nicolas, et al.
Published: (2023)

The Explanation Game -- Rekindled (Extended Version)
by: Marques-Silva, Joao, et al.
Published: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

CauseJudger: Identifying the Cause with LLMs for Abductive Logical Reasoning
by: He, Jinwei, et al.
Published: (2024)

Taxonomic Reasoning for Rare Arthropods: Combining Dense Image Captioning and RAG for Interpretable Classification
by: Lesperance, Nathaniel, et al.
Published: (2025)

Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)

Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions (Extended Version with Technical Appendix)
by: Müller, Nicola J., et al.
Published: (2026)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
by: Blümel, Lydia, et al.
Published: (2024)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
by: Christen, Remo, et al.
Published: (2025)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
by: Andrews, Uri, et al.
Published: (2026)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
by: Grundke, Claudia, et al.
Published: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

Synchronizing Process Model and Event Abstraction for Grounded Process Intelligence (Extended Version)
by: Benzin, Janik-Vasily, et al.
Published: (2025)

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
by: Rosa, Giacomo, et al.
Published: (2026)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
by: Thielscher, Michael, et al.
Published: (2026)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
by: Andrews, Uri, et al.
Published: (2025)

Can Reasoning Models Reason about Hardware? An Agentic HLS Perspective
by: Collini, Luca, et al.
Published: (2025)

Reasoning about unpredicted change and explicit time
by: de Saint-Cyr, Florence Dupin, et al.
Published: (2024)

ACPBench: Reasoning about Action, Change, and Planning
by: Kokel, Harsha, et al.
Published: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
by: Belardinelli, Gaia, et al.
Published: (2025)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2020)

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
by: Ren, Lin, et al.
Published: (2025)

Retrieval- and Argumentation-Enhanced Multi-Agent LLMs for Judgmental Forecasting (Extended Version with Supplementary Material)
by: Gorur, Deniz, et al.
Published: (2025)

Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents (Extended Version)
by: Mishra, Shrey, et al.
Published: (2023)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)