3718 search results - page 28 / 744 » Programming by Integration in Robotics |
97
Voted
LPNMR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
CSL
1998
Springer
15 years 1 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
102
click to vote
AMAI
2008
Springer
14 years 9 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
ROMAN
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
78
Voted
FUZZY
2004
Springer
15 years 1 months ago
2004
Springer
- The UPnP(Universal Plug and Play) architecture offers pervasive peer-to-peer network connectivity of intelligent appliances in dynamic distributed computing environment. This pap...