7960 search results - page 240 / 1592 » Systems for Knowledge and Beliefs |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
ISTA
2007
14 years 9 days ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
LWA
2007
14 years 9 days ago
2007
In this paper, we will present an outline for an online recommender system for art works. The system, termed Virtual Museum Guide, will take the interest that visitors of an onlin...
FLAIRS
2006
14 years 8 days ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
JAPLL
2006
13 years 11 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...