4212 search results - page 573 / 843 » Rights Expression Languages |
135
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents an algorithm for correcting language errors typical of second-language learners. We focus on preposition errors, which are very common among second-language le...
141
click to vote
LANMR
2007
15 years 8 months ago
2007
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
210
click to vote
PLANX
2007
15 years 8 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
175
click to vote
AAAI
2006
15 years 8 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
158
click to vote
AAAI
2006
15 years 8 months ago
2006
Coalition formation is an important capability of automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered is...