11 search results - page 3 / 3 » Use of correctness assertions in declarative diagnosis |
SCP
1998
13 years 5 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...