7991 search results - page 74 / 1599 » Using More Reasoning to Improve |
203
click to vote
LOGCOM
1998
15 years 5 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
173
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
135
click to vote
EMNLP
2010
15 years 3 months ago
2010
Targeted paraphrasing is a new approach to the problem of obtaining cost-effective, reasonable quality translation that makes use of simple and inexpensive human computations by m...
189
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
122
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...