On "learning term rewriting systems from entailment"
Summary form only given. We study exact learning of term rewriting systems from entailment and refute a recent result by Arimura, Sakamoto and Arikawa about polynomial time learnability of k-variable linear tree translations (LTT (k)). It was incorrectly claimed that the length of derivations of LTT...
محفوظ في:
| المؤلف الرئيسي: | Rao, M.R.K. (author) |
|---|---|
| مؤلفون آخرون: | unknown (author) |
| التنسيق: | article |
| منشور في: |
2003
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://eprints.kfupm.edu.sa/id/eprint/14218/1/14218_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14218/2/14218_2.doc |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Rewriting home
حسب: El Hajj, Sleiman
منشور في: (2018) -
An Executable Formal Framework for Regular String Transformation in Rewriting Logic
حسب: unknown
منشور في: (2020) -
Short-term hourly load forecasting using abductive networks
حسب: Abdel-Aal, R.E.
منشور في: (2004) -
Distributed Tree-Based Machine Learning for Short-Term Load Forecasting With Apache Spark
حسب: Ameema Zainab (16864263)
منشور في: (2021) -
A novel few shot learning derived architecture for long-term HbA1c prediction
حسب: Marwa Qaraqe (10135172)
منشور في: (2024)