180 search results - page 6 / 36 » Knowledge-Based Programs |
LPAR
2004
Springer
14 years 27 days 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...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
DSP
2007
13 years 7 months ago
2007
This paper presents a preliminary knowledge based approach to Space-Time Adaptive Processing (STAP) for ground moving target indication from an airborne platform. The KB-processor...
IFIP
1992
Springer
13 years 11 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
AAAI
1994
13 years 8 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...