4949 search results - page 221 / 990 » Consistency and Set Intersection |
167
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
141
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents a guaranteed method for the parameter estimation of nonlinear models in a bounded-error context. This method is based on functions which consists of the differ...
142
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
138
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many applications require the establishment of mappings between ontologies. Such mappings are established by domain experts or automated tools. Errors in mappings can int...
184
click to vote
EACL
2009
ACL Anthology
15 years 3 months ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...