3856 search results - page 536 / 772 » Models for Automated Earthmoving |
187
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
168
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
179
click to vote
ERCIMDL
2005
Springer
16 years 3 days ago
2005
Springer
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
154
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
177
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...