63 search results - page 1 / 13 » VERITAS - An Application for Knowledge Verification |
ICTAI
1999
IEEE
13 years 9 months ago
1999
IEEE
ICTAI
2008
IEEE
13 years 11 months ago
2008
IEEE
We consider a variation of the problem of combining expert opinions for the situation in which there is no ground truth to use for training. Even though we don’t have labeled da...
FLAIRS
2009
13 years 2 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
AIPS
1996
13 years 6 months ago
1996
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...