16666 search results - page 169 / 3334 » Descriptive and Computational Complexity |
122
click to vote
AAAI
1997
15 years 5 months ago
1997
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
145
click to vote
IGPL
2007
15 years 4 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
176
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
117
click to vote
SMI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
115
click to vote
AI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Choosing between multiple alternative tasks is a hard problem for agents evolving in an uncertain real-time multiagent environment. An example of such environment is the ...