GK: implementing full first order default logic for commonsense reasoning (system description)
From MaRDI portal
Publication:2104518
DOI10.1007/978-3-031-10769-6_18OpenAlexW4289104015MaRDI QIDQ2104518
Priit Järv, Tanel Tammet, Dirk Draheim
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_18
Related Items (1)
Uses Software
Cites Work
- A logic for default reasoning
- A comparative study of open default theories
- Confidences for commonsense reasoning
- GKC: a reasoning system for large knowledge bases
- The ASP system DLV2
- Constraint Answer Set Programming without Grounding
- A Tutorial on Hybrid Answer Set Solving with clingo
- Answer Set Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: GK: implementing full first order default logic for commonsense reasoning (system description)
