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