7213 search results - page 1045 / 1443 » Automated model grouping |
177
click to vote
TARK
2005
Springer
16 years 7 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
153
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
167
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
157
click to vote
EWCBR
2004
Springer
16 years 4 days ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
164
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...