2398 search results - page 247 / 480 » Knowledge Representation |
164
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
136
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This video presents the Autonomous City Explorer (ACE) project. Its goal was to create a robot capable of navigating unknown urban environments without the use of GPS data or p...
146
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...
124
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
169
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...