1153 search results - page 201 / 231 » The Complexity of Revision, Revised |
AI
2011
Springer
13 years 2 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The binary relation framework has been shown to be applicable to many real-life preference handling scenarios. Here we study preference contraction: the problem of discarding sele...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
JOCN
2011
13 years 2 months ago
2011
■ Defeasible inferences are inferences that can be revised in the light of new information. Although defeasible inferences are pervasive in everyday communication, little is kno...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Abstract. As comparatively powerful mobile computing devices are becoming more common, mobile web applications have started gaining in popularity. In this paper we present an appro...