2924 search results - page 464 / 585 » An Intelligent Multi-Dictionary Environment |
131
click to vote
TABLEAUX
1995
Springer
15 years 8 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
124
click to vote
AIIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
120
click to vote
AMI
2009
Springer
15 years 7 months ago
2009
Springer
Existing work on sensor-based activity recognition focuses mainly on single-user activities. However, in real life, activities are often performed by multiple users involving inter...
137
click to vote
AAAI
2007
15 years 7 months ago
2007
In this paper, we explore the use of the web as an environment for electronic commerce. In particular, we develop a novel mechanism that creates incentives for honesty in electron...
149
click to vote
AAAI
2007
15 years 7 months ago
2007
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...