1436 search results - page 73 / 288 » Description Logic Unplugged |
JLP
2000
14 years 9 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
SYNTHESE
2011
14 years 4 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer