7960 search results - page 90 / 1592 » Systems for Knowledge and Beliefs |
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Individual users are known to differ in their tendency to adopt new technologies. Among the individual differences, Personal Innovativeness in IT (PIIT) has been shown to be a rel...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Alternating-offers is the most prominent negotiation protocol for automatic bilateral bargaining. Nevertheless, in most settings it is still not known how two fully ratio...
ECSQARU
2005
Springer
14 years 3 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...