895 search results - page 53 / 179 » A Spectrum of Applications of Automated Reasoning |
147
click to vote
DLOG
2004
15 years 6 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
133
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Experience sampling has been employed for decades to collect assessments of subjects' intentions, needs, and affective states. In recent years, investigators have employed au...
137
click to vote
AAAI
1996
15 years 6 months ago
1996
Almost any information you might want is becoming available on-line. The problem is how to find what you need. One strategy to improve access to existing information sources, is i...
156
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
146
click to vote
AIPS
2010
15 years 4 months ago
2010
We present a planning domain that encodes the problem of generating natural language sentences. This domain has a number of features that provoke fairly unusual behavior in planne...