526 search results - page 46 / 106 » A Proposal of Hybrid Knowledge Engineering and Refinement Ap... |
TPLP
2002
14 years 9 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
ESWS
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Knowledge Management systems are one of the key strategies that allow companies to fully tap into their collective knowledge. However, two main entry barriers currently l...
LSO
2004
Springer
15 years 3 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...