892 search results - page 49 / 179 » Strategies in sentential reasoning |
DLOG
1996
15 years 2 months ago
1996
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
143
click to vote
ALP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
IFIP
1997
Springer
15 years 5 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
112
click to vote
CCL
1994
Springer
15 years 5 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...