279 search results - page 5 / 56 » Developing Knowledge-Based Systems with MIKE |
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...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
72
Voted
IJCAI
1989
14 years 10 months ago
1989
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
90
Voted
DAGSTUHL
1998
14 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
77
Voted
EXACT
2008
14 years 12 months ago
2008
An important requirement for intelligent assistants is to have an explanation generation mechanism, so that the trainee has a better understanding of the recommended actions and ca...