VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property
A Modal Logic of Optimality (Student Abstract)
Initial Steps in Planning under Qualitative Uncertainty
Guiding Hiearchical Reinforcement Learning in Partially Observable Environments with AI Planning
Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
Parallel Verification of Natural Deduction Proof Graphs
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds
CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation
A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
Algorithmic Problems in Synthesized Cryptosystems
