1153 search results - page 124 / 231 » The Complexity of Revision, Revised |
192
click to vote
RULES
1995
Springer
15 years 10 months ago
1995
Springer
Constraint management plays an important role in design applications where constraints re ect design restrictions and design decisions. ECA rules are a widely used mechanism to enf...
195
click to vote
DOOD
1991
Springer
15 years 9 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
169
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
153
click to vote
AAAI
2008
15 years 8 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
158
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...