2703 search results - page 112 / 541 » Working Class Hero |
117
Voted
DOA
2000
15 years 4 months ago
2000
The wide acceptance of object-oriented environments and proposals has renewed interest in all the class inheritance related issues; in particular its implementation in distributed...
110
Voted
AIPS
1996
15 years 4 months ago
1996
Subgoal interactions have received considerable attention in AI Planning. Earlier analyses by Korf [11] and Joslin and Roach [6] were done in terms of the topology of the space of...
113
Voted
ESA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for gra...
138
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their ...
117
Voted
ENTCS
2007
15 years 2 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...