7075 search results - page 362 / 1415 » Models and heterogeneous reasoning |
209
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
164
Voted
AIME
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
174
click to vote
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
184
Voted
ASP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
197
click to vote
GIS
2007
ACM
15 years 6 months ago
2007
ACM
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...