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...
Saved in:
| Main Author: | Rao, M.R.K. (author) |
|---|---|
| Other Authors: | unknown (author) |
| Format: | article |
| Published: |
2003
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/14218/1/14218_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14218/2/14218_2.doc |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Rewriting home
by: El Hajj, Sleiman
Published: (2018) -
An Executable Formal Framework for Regular String Transformation in Rewriting Logic
by: unknown
Published: (2020) -
Short-term hourly load forecasting using abductive networks
by: Abdel-Aal, R.E.
Published: (2004) -
Distributed Tree-Based Machine Learning for Short-Term Load Forecasting With Apache Spark
by: Ameema Zainab (16864263)
Published: (2021) -
A novel few shot learning derived architecture for long-term HbA1c prediction
by: Marwa Qaraqe (10135172)
Published: (2024)