2308 search results - page 356 / 462 » Representing Symbolic Reasoning |
191
click to vote
AMS
2007
Springer
16 years 16 days ago
2007
Springer
Autonomous robots that can adapt to novel situations has been a long standing vision of robotics, artificial intelligence, and cognitive sciences. Early approaches to this goal du...
173
click to vote
CPAIOR
2007
Springer
16 years 16 days ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
176
click to vote
DBPL
2007
Springer
16 years 16 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
172
click to vote
ECSQARU
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
170
click to vote
GBRPR
2007
Springer
16 years 15 days ago
2007
Springer
In the field of structural pattern recognition graphs constitute a very common and powerful way of representing patterns. In contrast to string representations, graphs allow us to ...