4595 search results - page 89 / 919 » Reasoning about Plans |
136
Voted
AI
2000
Springer
15 years 4 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
153
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
IJIS
2000
15 years 4 months ago
2000
