1426 search results - page 169 / 286 » Specification of nonmonotonic reasoning |
112
click to vote
ECAI
1992
Springer
15 years 1 months ago
1992
Springer
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
HYBRID
1992
Springer
15 years 1 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
WSC
2008
15 years 9 days ago
2008
Distributed simulation, more specifically the HLA standard, is hardly applied in industry. We have conducted an extensive survey with COTS (commercial off-the-shelf) simulation pa...
ASM
2008
ASM
14 years 12 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
131
click to vote
DILS
2008
Springer
14 years 11 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...