4573 search results - page 390 / 915 » Automated Reasoning |
142
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
224
click to vote
ECSQARU
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
232
click to vote
MM
2009
ACM
2009
ACM
Distance metric learning from uncertain side information with application to automated photo tagging
15 years 11 months ago
Automated photo tagging is essential to make massive unlabeled photos searchable by text search engines. Conventional image annotation approaches, though working reasonably well o...
150
click to vote
SIGECOM
2003
ACM
16 years 2 days ago
2003
ACM
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...
179
click to vote
SIGECOM
2004
ACM
16 years 7 days ago
2004
ACM
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...