8337 search results - page 285 / 1668 » Reasoning With Characteristic Models |
157
click to vote
TIME
2003
IEEE
15 years 12 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
170
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
204
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...
161
click to vote
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...
171
click to vote
TIME
1994
IEEE
15 years 10 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...