2291 search results - page 153 / 459 » Representational Reasoning and Verification |
191
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
190
click to vote
OWLED
2007
15 years 8 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
178
click to vote
SFP
2004
15 years 7 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
181
click to vote
CP
1995
Springer
15 years 10 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
167
click to vote
AAAI
1992
15 years 7 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...