195 search results - page 6 / 39 » Distributed abductive reasoning with constraints |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
78
Voted
NIPS
2004
14 years 11 months ago
2004
We describe a three
EPIA
2007
Springer
15 years 3 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
JUCS
2010
14 years 8 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
81
Voted
CPAIOR
2010
Springer
15 years 2 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...