2972 search results - page 520 / 595 » Representing the Knowledge of a Robot |
173
Voted
AI
2004
Springer
15 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
163
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Microarray technologies produced large amount of data. The hierarchical clustering is commonly used to identify clusters of co-expressed genes. However, microarray dat...
161
click to vote
AMAI
1999
Springer
15 years 5 months ago
1999
Springer
Temporal Constraint Satisfaction Problems (TCSP) is a well known approach for representing and processing temporal knowledge. Important properties of the knowledge can be inferred...
151
click to vote
TCSV
2002
15 years 5 months ago
2002
Partitioning a video sequence into shots is the first step toward video-content analysis and content-based video browsing and retrieval. A video shot is defined as a series of inte...
183
Voted
TPLP
2002
15 years 5 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...