Learning Instantiation in First-Order Logic

Thumbnail Image

Files

Primary 286055.pdf (237.95 KB)

Date

2022

Authors

Piepenbrock, J.H. Jelle
Urban, J.
Korovin, K.
Olsak, M.
Heskes, T.M. Tom
Janota, M. Mikoláš

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/286055

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By