11160 search results - page 12 / 2232 » Incompleteness in a General Setting |
WS
2003
ACM
14 years 19 days ago
2003
ACM
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ISIPTA
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper addresses the following question: how should we update our beliefs after observing some incomplete data, in order to make credible predictions about new, and possibly i...
IJCAI
1989
13 years 8 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
DKE
2008
13 years 7 months ago
2008
As two classical measures, approximation accuracy and consistency degree can be extended for evaluating the decision performance of an incomplete decision table. However, when the...