4573 search results - page 401 / 915 » Automated Reasoning |
194
click to vote
ICCBR
2010
Springer
15 years 6 months ago
2010
Springer
The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based R...
165
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...
179
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
176
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
182
Voted
TPHOL
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...