1650 search results - page 177 / 330 » The HOM problem is decidable |
172
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
142
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
161
click to vote
GIR
2008
ACM
15 years 5 months ago
2008
ACM
With the aim to improve the quality of gazetteers for geographic information retrieval systems, we present a method to detect place names employed by people submitting information...
147
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
149
click to vote
ALIFE
2008
15 years 4 months ago
2008
While complex systems have been studied now for more than two decades, there still is no agreement on what complexity actually is. This lack of a definition might be a problem when...