1917 search results - page 138 / 384 » Experimenting with Nonmonotonic Reasoning |
205
click to vote
TIME
2005
IEEE
16 years 15 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
162
click to vote
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
194
click to vote
ICCBR
2005
Springer
16 years 14 days ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
175
click to vote
SAT
2005
Springer
16 years 13 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
190
click to vote
ATAL
2004
Springer
16 years 10 days ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...