12 search results - page 1 / 3 » Automatic Induction of Abduction and Abstraction Theories fr... |
ILP
2005
Springer
13 years 10 months ago
2005
Springer
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Learning in complex contexts often requires pure induction to be supported by various kinds of meta-information. Providing such information is a critical, difficult and ...
ITP
2010
13 years 8 months ago
2010
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
UMUAI
2008
13 years 4 months ago
2008
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...