1 paper · 1 filter
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification…