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...
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 |
Similar Items
-
Specifying temporal knowledge for workflows
ontologies
by: Plesniewicz Gerald, et al.
Published: (2016-12-01) -
Certifiable AI
by: Jobst Landgrebe
Published: (2022-01-01) -
The First Rule of Stoic Logic and its Relationship with the Indemonstrables
by: Miguel López Astorga
Published: (2015-12-01) -
Logical Querying of Relational Databases
by: Luminita Pistol, et al.
Published: (2016-12-01) -
24.241 Logic I, Fall 2002
by: McGee, Vann, 1949-
Published: (2002)