4457 search results - page 624 / 892 » Tests of Machine Intelligence |
146
click to vote
WIA
2000
Springer
15 years 8 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
122
Voted
ICAIL
1995
ACM
15 years 8 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
133
Voted
AIPS
2010
15 years 7 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...
149
click to vote
AAAI
2007
15 years 7 months ago
2007
In this paper, we propose to mine query hierarchies from clickthrough data, which is within the larger area of automatic acquisition of knowledge from the Web. When a user submits...
149
click to vote
AAAI
2008
15 years 7 months ago
2008
Transfer learning addresses the problem of how to utilize plenty of labeled data in a source domain to solve related but different problems in a target domain, even when the train...