An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)
From MaRDI portal
Publication:6492766
DOI10.1007/978-3-031-38499-8_29MaRDI QIDQ6492766
Unnamed Author, Dirk Draheim, Tanel Tammet, Priit Järv
Publication date: 26 April 2024
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- Unnamed Item
- A logic for default reasoning
- Isabelle. A generic theorem prover
- Confidences for commonsense reasoning
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Guiding an automated theorem prover with neural rewriting
- Names are not just sound and smoke: word embeddings for axiom selection
- GKC: a reasoning system for large knowledge bases
- Event Semantics and Abstract Categorial Grammar
- An application of automated reasoning in natural language question answering
This page was built for publication: An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)
