1746 search results - page 88 / 350 » A Constructive Semantics for ALC |
108
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
In the current research environment, funding agencies are increasingly required to demonstrate that the projects they fund represent value for money. When funds are disbursed in a ...
152
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
129
click to vote
WEBDB
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of content-based routing and dissemination of highly-distributed, fast data streams from multiple sources to multiple receivers. Our target application dom...
132
click to vote
AUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...
138
click to vote
AAAI
2008
15 years 6 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...