796 search results - page 96 / 160 » A Formalization of ODMG Queries |
101
Voted
XIMEP
2005
ACM
15 years 6 months ago
2005
ACM
As XML finds its place in information technology, query languages for XML attract much attention. Among them XPath is the most known. This article reveals a surprising fact that ...
FOIKS
2004
Springer
15 years 6 months ago
2004
Springer
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...
121
click to vote
ICGI
2000
Springer
15 years 4 months ago
2000
Springer
A subpansive tree is a rooted tree that gives a partial order of nonterminal symbols of a context-free grammar. We formalize subpansive trees as background knowledge of CFGs, and i...
116
Voted
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
117
Voted
AAAI
2007
15 years 3 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...