3071 search results - page 29 / 615 » Explanatory Design Theory |
APPINF
2003
14 years 11 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
AAAI
1990
14 years 11 months ago
1990
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
138
click to vote
Publication
Foundations of Mechanism Design: A Tutorial - Part 1: Key Concepts and Classical Results
AIED
2007
Springer
15 years 4 months ago
2007
Springer
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
TACS
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...