conftrace_

golog program

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sound complete abstraction (1) syntactic approach (1) refinement mapping (1) situation calculus (1) formal verification (1) automated planning (1)

Papers

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025