955 search results - page 127 / 191 » Tractable Temporal Reasoning |
103
click to vote
CPM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
91
Voted
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
92
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...
100
click to vote
FSR
2003
Springer
15 years 5 months ago
2003
Springer
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...