1350 search results - page 141 / 270 » Reasoning about Staged Computation |
160
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
162
click to vote
CW
2005
IEEE
15 years 11 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
153
click to vote
AAAI
2007
15 years 7 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
171
Voted
DLOG
2008
15 years 7 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...
151
click to vote
CSL
2002
Springer
15 years 5 months ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...