Co-occurring keywords · papers mentioning both
Papers
Efficient and Scalable Synchronization via Generalized Cache Coherence
OSDI 2026
Enhancing Strategy Logic with Procedural Rationality
AAAI 2026
Formal Verification of Diffusion Auctions
AAAI 2026
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
AAAI 2026
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
AAAI 2026
A Computationally Grounded Framework for Cognitive Attitudes
AAAI 2025
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
AAAI 2025
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
AAAI 2025
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals
IJCAI 2025
Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models
IJCAI 2025
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
IJCAI 2025
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
IJCAI 2025
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
IJCAI 2025
NatSTV: Towards Verification of Natural Strategic Ability
IJCAI 2025
On Temporal Verification of Stateful P4 Programs
NSDI 2025
Probabilistic Strategy Logic with Degrees of Observability
AAAI 2025
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
UAI 2025
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
AAAI 2025
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
AAAI 2025
Agentive Permissions in Multiagent Systems
IJCAI 2024
Backward Responsibility in Transition Systems Using General Power Indices
AAAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic
IJCAI 2024
Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony
IJCAI 2024
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
IJCAI 2024