Advanced Query Functionalities in Natural Logic Knowledge Bases

Abstract Natural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are...

Full description

Bibliographic Details
Main Authors: Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson
Format: Article
Language:English
Published: Springer 2024-04-01
Series:International Journal of Computational Intelligence Systems
Subjects:
Online Access:https://doi.org/10.1007/s44196-024-00484-x