situation calculus

Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach AAAI 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025 Reasoning About Causal Knowledge in Nondeterministic Domains IJCAI 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 Formalisation and Evaluation of Properties for Consequentialist Machine Ethics IJCAI 2024 Abstraction of Nondeterministic Situation Calculus Action Theories IJCAI 2023 Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking AAAI 2023 From Actions to Programs as Abstract Actual Causes AAAI 2022 Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts IJCAI 2021 A Uniform Abstraction Framework for Generalized Planning IJCAI 2021 Parameterized Logical Theories AAAI 2021 Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020 Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019 Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018 Reasoning about Probabilities in Unbounded First-Order Dynamical Domains IJCAI 2017