848 search results - page 5 / 170 » Design and Development of Knowledge-Based Systems on the Web |
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
LPAR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
IJCAI
1997
14 years 11 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
100
click to vote
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
101
click to vote
SCAI
1993
14 years 11 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...