2291 search results - page 88 / 459 » Representational Reasoning and Verification |
180
click to vote
DLOG
2003
15 years 7 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
158
click to vote
AAAI
1993
15 years 7 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
185
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
174
click to vote
PSTV
1993
15 years 7 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
152
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...