A Framework for Approximate Generalization in Quantitative Theories
Authors: Temur Kutsia and Cleo Pau
Paper Information
| Title: | A Framework for Approximate Generalization in Quantitative Theories |
| Authors: | Temur Kutsia and Cleo Pau |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Generalization, Anti-unification, Quantitative theories, Fuzzy proximity relations |
| Pages: | 18 |
| Talk: | Aug 09 15:10 (Session 104D: Proof Search and Generalizations) |
| Paper: |  |