collaborators

1 paper

cs.LO2025

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

Liangda Fang, Xiaoman Wang, Zhang Chen +3

Abstraction is an important and useful concept in the field of artificial intelligence. To the best of our knowledge, there is no syntactic method to compute a sound and complete a…