1153 search results - page 124 / 231 » The Complexity of Revision, Revised |
187
click to vote
RULES
1995
Springer
15 years 9 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...
188
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...
160
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...
144
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 ...
154
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...