GK: implementing full first order default logic for commonsense reasoning (system description)
From MaRDI portal
Publication:2104518
DOI10.1007/978-3-031-10769-6_18MaRDI QIDQ2104518
Dirk Draheim, Tanel Tammet, Priit Järv
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_18
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software