Sciweavers

74
Voted
ASP
2001
Springer
15 years 1 months ago
Additive Fluents
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
Joohyung Lee, Vladimir Lifschitz