15754 search results - page 65 / 3151 » Programs are Knowledge Bases |
143
Voted
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
120
Voted
CLIMA
2004
15 years 5 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
133
click to vote
IJCAI
1989
15 years 4 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
107
Voted
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Research on learning suggests the importance of helping students organize their knowledge around meaningful patterns of information. This paper reports on a multi-institutional st...
134
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
We propose a method of knowledge reuse for an ensemble of genetic programming-based learners solving a visual learning task. First, we introduce a visual learning method that uses...