Solving QMLTP Problems by Translation to Higher-order Logic
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Steen, Alexander; Sutcliffe, Geoff; Gleißner, Tobias; Benzmüller, Christoph ![]() |
Publisher Information: | arXiv |
Year of publication: | 2022 |
Pages: | 1-16 |
Language(s): | English |
DOI: | 10.48550/ARXIV.2212.09570 |
Type: | Preprint |
URI: | https://fis.uni-bamberg.de/handle/uniba/57440 |
Release Date: | 23. December 2022 |

originated at the
University of Bamberg
University of Bamberg