531 search results - page 55 / 107 » Data structure repair using goal-directed reasoning |
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
IJAR
2008
13 years 11 months ago
2008
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
Despite recent advances in wireless and portable hardware technologies, mobile access to the Web is often laborious. For this reason, several solutions have been proposed to custom...
CADE
2010
Springer
13 years 12 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ICCBR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...