conftrace_

agent program

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

nondeterministic environment (1) first-order action theory (1) omniscient debugging (1) tracing mechanism (1) trace visualization (1) real-time program (1) agent-oriented programming (1) cognitive agent (1) fault localization (1) temporal logic synthesis (1)

Papers

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 Omniscient Debugging for Cognitive Agent Programs IJCAI 2017