13827 search results - page 412 / 2766 » The state of artificial intelligence |
186
Voted
AI
2009
Springer
16 years 1 months ago
2009
Springer
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...
165
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Students use both domain-dependent strategies (such as seeking specific domain help) and domain-independent strategies (such as relaxation exercises) to help regulate their affecti...
158
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
160
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
221
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...