Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding

Author(s): Makarenko, Irina; Benzmüller, Christoph  
Title of the Journal: Lecture notes in computer science
ISSN: 1611-3349, 0302-9743
Conference: KI 2020: Advances in Artificial Intelligence
Publisher Information: Berlin : Springer
Year of publication: 2020
Volume: 12325
Pages: 116-131
ISBN: 978-3-030-58285-2
Language(s): English
DOI: 10.1007/978-3-030-58285-2_9
URL: https://link.springer.com/chapter/10.1007/978-3...
Peer Reviewed: Ja
International Distribution: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/55660
Release Date: 22. September 2022