Component Properties of Forgetting and Progression in the Situation Calculus
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
doi 10.31144/bncc.cs.2542-1972.2012.n34.p105-133
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2012
Authors
Publisher
A.P. Ershov Institute of Informatics Systems SB RAS